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

Question

我想通过分解出常用参数来使我的 Yosys 脚本更加 DRY，例如以下示例：

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 脚本。）

我现在在提交 b8d7f57 中添加了 .tcl 文件的前端检测。所以从 b8d7f57 开始你也可以使用 yosys <script_file> 到运行一个 TCL 脚本，如果 <script_file> 以 .tcl.

结束

Can we have variables in a Yosys script?