Yosys - 错误：TCL 解释器返回错误：无效的命令名称“verilog_defaults”答案

【问题标题】：Yosys - ERROR: TCL interpreter returned an error: invalid command name "verilog_defaults"Yosys - 错误：TCL 解释器返回错误：无效的命令名称“verilog_defaults”
【发布时间】：2021-06-29 19:54:53
【问题描述】：

我正在尝试编写一个 tcl 脚本来读取和综合设计。我在 tcl 文件顶部使用了以下命令，并使用 yosys -c filename.tcl 执行。

verilog_defaults -add -I<path_to_include_dir>

我收到以下错误：

ERROR: TCL interpreter returned an error: invalid command name "verilog_defaults"

当我在 yosys shell 中执行相同的命令时，我没有收到任何错误。这些命令在 tcl 脚本中有效吗？或者对于 tcl 脚本有不同的命令？

【问题讨论】：

标签： tcl yosys

【解决方案1】：

我的错，我错过了将 yosys 命令导入 tcl shell。我将提及解决方案，仅供可能面临相同问题的其他人参考。

通过将下面的导入命令放在 tcl 文件的顶部解决了这个问题。

yosys -import

链接中提到了这条指令： http://www.clifford.at/yosys/cmd_tcl.html

【讨论】：