新手。在使用tmax add_atpg_constraints命令时,将某个信号约束到0,
用report_atpg_constraints可以report出来,
但是把生出来的pattern仿真的时候发现被约束的信号根本没有约束住。
我看user guid中介绍说“This command defines constraints that must be satisfied during ATPG pattern generation”,
不知道是怎么回事觉得很疑惑,求大神指教!!非常感谢!!!