yosys - 我们可以在 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) 中的方法？

score 6 · Accepted Answer

你可以用TCL。详情请参阅yosys -h tcl。yosys -c <script_file>使用（而不是yosys -s <script_file>原生 Yosys 脚本）运行 TCL 脚本。

我现在在提交 b8d7f57 中为 .tcl 文件添加了前端检测。因此，如果以 b8d7f57 结尾，您还可以使用它yosys <script_file>来运行 TCL 脚本，如果<script_file>以.tcl.

1 回答 1