我们可以在Yosys脚本中使用变量吗？

Question

我想使我的Yosys脚本更加干燥通过分解出常见的参数，如下面的例子：

read_liberty -lib /long/path/to/lib/file 
... 
dfflibmap -liberty /long/path/to/lib/file 
... 
abc -liberty /long/path/to/lib/file 

我还没有找到一个方法来声明或取消引用变量，是有像TCL（set lib_file /long/path/to/lib/file）或Bash（export lib_file=/long/path/to/lib/file）的任何方式？

Answer 1

您可以使用TCL。有关详细信息，请参见yosys -h tcl。与yosys -c <script_file>运行TCL脚本（而不是yosys -s <script_file>原生Yosys脚本。）

我现在又增加了前端检测.tcl文件提交b8d7f57。因此，从b8d7f57开始，如果<script_file>以.tcl结尾，也可以使用yosys <script_file>来运行TCL脚本。