如果有做 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