我們可以在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腳本。