我们可以在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。有关详细信息，请参阅//View @Html.TextBoxFor(m => m.Bank.Amount, "{0:n2}", new { id = "tbAmount"}) 。对于本机Yosys脚本，使用yosys -h tcl（而不是yosys -c <script_file>运行TCL脚本。）

我现在已经在commit b8d7f57中为.tcl文件添加了前端检测。因此，从b8d7f57开始，如果yosys -s <script_file>以yosys <script_file>结尾，您还可以使用<script_file>运行TCL脚本。