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

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

我正在尝试编写一个 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 脚本有不同的命令？

解决方法

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

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

    function onOpen(e) {
        SpreadsheetApp.getUi().createMenu('Redirects')
            .addItem('run','getRedirects')
            .addToUi()
    }
    
    function getRedirects() {
        const activeRange = SpreadsheetApp.getActiveRange()
        const values = activeRange.getValues().flat()
    
        const output = []
    
        const params = {
            'followRedirects': false,'muteHttpExceptions': true
        };
    
        values.forEach(url => {
            try {
                const res = UrlFetchApp.fetch(url,params);
                const finalURL = res.getHeaders()['Location'];
                output.push([finalURL])
    
            } catch (error) {
                output.push([JSON.stringify(error)])
            }
        });
    
        activeRange.offset(0,1).setValues(output)
    }

链接中提到了此说明： http://www.clifford.at/yosys/cmd_tcl.html