如何在ATPG中使用write patterns，

snowzx

请教，原本用TEST> write patternsoutput/tcrm_testbench.v –form Verilog

可以写出5个文本文件，tcrm_testbench.pis，tcrm_testbench.pos，tcrm_testbench.scn，tcrm_testbench.seq，tcrm_testbench.v。其中tcrm_testbench.pis测试激励序列，tcrm_testbench.pos存放理想响应序列，tcrm_testbench.v是自动生成的测试文件，可以用于nclaunch仿真。


但是现在用2013.12-SP5 Tetramax工具，再使用write patterns output/tcrm_testbench.v –form Verilog，报出

Error：write_patterns -format verilog_tables is obsolete; command ignored. 基本是说 –form Verilog这个功能已经废弃了。

请问现在如何使用write_patterns，可以写出测试激励，并完成nclaunch仿真？现有的-format选项是binary/ftdl/tdl91/tstl2/wgl/wgl_flat/stil/stil99

多谢啦