Tetramax的write pattern问题

请问一般使用什么命令写出测试激励?我现在用的是write patternsoutput/tcrm_testbench.v –form Verilog，生成了 tcrm_testbench.pis，tcrm_testbench.pos，tcrm_testbench.scn，tcrm_testbench.seq，tcrm_testbench.v，请问如果我用NC-verilog仿真test pattern，生成的这些文件够吗?是否直接用tcrm_testbench.v和DFT后的netlist.v做仿真?谢谢啦！

差不多是的