有关TetraMAX中STIL文件的问题

979436295

一个小白问题

最近由于实验需要，正在学习TetraMAX，需要用TetraMax生成测试向量，有几个问题1. ATPG过程中可不可以用TetraMAX生成的STIL文件，不使用DC，这样对覆盖率有影响吗？
2. 在故障仿真的过程中，需要获取实际的输出值，查用户手册发现有这样一个命令：


Set_pindata  -fault_sim_results     <pin_pathname | gate pin_number> <0|1> pattern

Thisdisplays the good machine value and faulty machine value for a selected faultand a selected pattern

但是没有运行成功，想请问一下，使用这个命令还需要额外的什么设置吗？