在TCL脚本中，如何回显变量的内容？

Question

我正在为modelsim编写一个TCL脚本，我想将信号的输出值与常数进行比较，以了解电路是否正常工作。我知道如何控制输入信号，但无法弄清楚如何回显输出。

理想情况下，我能够将所有内容传输到csv文件，但它足以让脚本返回通过/失败。

我仍然需要以类似于bash上的[$ echo outf]之类的方式读取输出的值（在我的情况下它是＆sim; / union / outf）

PS。我意识到标题可能会产生误导，因为我可以打印脚本中声明的变量的值。我需要打印波形输出的当前值。

Answer 1

bash的echo $out的Tcl中的直接等价物是：

puts $out

或者，如果变量是环境变量：

puts $env(out)

Answer 2

使用Modelsim时，用于回显输出的TCL命令是使用“examine”

DECLARE
  v_recs var_rec:=var_rec();
BEGIN
  SELECT rec(table1.col,
             table2.col) 
  bulk collect  INTO v_recs
  FROM TabA table1,
    TabB table2 ;

  --Passing the resultset of the above query to the procedure.
  renderRec(v_recs);
END;