Synopsys 仿真，用的是TeraMAX, 正在尝试 run_justification 指令。不过并无法得到结果。请问问有大神有相关经验吗？

麻烦各位大神，
我现在正在尝试使用Synopsys进行仿真，我目前需要运用软件尝试计算出电路中每个node的controllability and observability(最好是SCOAP算法其他算法也可以)。我目前于用的是TeraMAX, 正在尝试 run_justification 指令。不过并无法得到结果。请问问有大神有相关经验吗？

谢谢！！