可以方面的查看specmanE语言，此工具是用Perl语言写的，必须在Linux或者Perl环境下才能用

业界流行的芯片验证工具

英文版，irun使用手册，仿真过程中的编译工具，来自于cadence公司。irun支持各种源程序文件输入，verilog，systemverilog，VHDL，verilog AMS，VHDL AMS，specman e，和其他语言程序编写的文件如C，C++，并且使用合适的编译器对其进行编译。当输入的文件，都编译完毕后，irun自动启动ncelab，去elaborate，产生snapshot，最后启动ncsim仿真器去仿真snapshot。