我安装的是DC 2012.06-SP2 和 Formality 2012.06-SP2打开dc_shell,输入source 路径/dc.tcl后,提示 +Suspended(tty input) 之后跟着的是dc_shell的安装目录
然后跳出了我在 .cshrc中alias的一些路径,再之后提示
check_library:Command not found
read_file:Command not found
current_design:Command not found
link:too few arguments
等等一些提示,这些命令是在.tcl中写到的。