我想写自己的Yosys综合脚本。什么是开始的好模板？手册和网页包含各种示例，但没有＆＃34;权威＆＃34;你好世界的例子。
答案 0 :(得分：5)
synth命令运行推荐的通用综合任务脚本。有关此元命令调用的命令的完整列表，请参阅help synth。
您的脚本应该从synth借用，或者只需致电synth即可完成通用内容。许多脚本调用synth -run coarse进行合成的粗粒部分，然后继续使用自定义的精细粒子合成命令序列。请参阅示例synth_xilinx。
对于自由格式的库的ASIC合成，请使用以下脚本作为起点：
# read design
read_verilog mydesign.v
# generic synthesis
synth -top mytop
# mapping to mycells.lib
dfflibmap -liberty mycells.lib
abc -liberty mycells.lib
clean
# write synthesized design
write_verilog synth.v
对于进行形式验证的脚本，通常需要一组不太激进的优化。在这种情况下，以下命令序列通常是＆＃34;合成的良好起点。正式验证流程的一部分：
hierarchy [-check -top <top-module>]
proc; opt; memory [-nomap]; opt -fast; check -assert