如果有做 Untimed Simulation 可以看到 G23/B 是没有 detect 的
因为 G23/A 在 second time frame 不是 1 所以 fault 传不到 G23/Y
G1 R
G10 F G22 R
G2 1
G16 F
G3 1
G11 R G23 R
G6 F
G19 F
G7 1
可是如果做 Timed Simulation (WC 的 delay) 可以看到在 0.500~0.582 期间
G23/A 是维持 1 的，所以 timed simulator 会判定 0.4 的 extra delay 可以发生
当然实际的电路在 0.582 的瞬间就应该会采用比较小的 delay (G23/A > G23/Y)
但是 simulator 没办法考虑的那么周全，即使 commercial tool 的结果也是如此
这个情况跟 PA1 跟大家说明的 commercial tool 判定规则一样
G1 [email protected]
G10 [email protected] G22 [email protected]
G2 1
G16 [email protected]
G3 1
G11 [email protected] G23 [email protected]
G6 [email protected]
G19 [email protected]
G7 1
※ 引述《monkey36 (神猴)》之铭言：
: 其实就是doc里面的例子
: 我的和助教的reference_v1都是找出5个faults
: 但reference_v2是找出6个
: 多一个 G23/B 的STF
: 有点不太理解
: 如果inject这个fault去跑timed fault simulation的话
: G23/Y 0->1 这个事件应该先被 G23/A 1->0 在时间0.579时就安排了
: 不知道 G23/B 的STF会造成什么影响 Q Q