什么是好的“模板” Yosys综合脚本？

Question

我想编写自己的Yosys综合脚本。首先有什么好的模板？手册和网页包含各种示例，但没有“权威”的问候示例。

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