yosys - 什么是好的 "template"Yosys 综合脚本？

Question

我想编写自己的 Yosys 合成脚本。什么是一个好的模板开始？手册和网页包含各种示例，但没有“权威”的 hello world 示例。

Answer 1

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

对于进行形式验证的脚本，通常需要一组不太激进的优化。在这种情况下，以下命令序列通常是形式验证流程的“综合”部分的良好起点:

hierarchy [-check -top <top-module>]
proc; opt; memory [-nomap]; opt -fast; check -assert