[討論] C17 pattern: 01111 -> 11101 monkey36 PTT批踢踢實業坊

[討論] C17 pattern: 01111 -> 11101

作者: monkey36 (神猴) 2012-10-28 09:51:01

其實就是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

繼續閱讀

[討論] C17的pattern6monkey36 [情報] PA2 bug fixeslittleshamoo [請益] 有關run_fault_simmonkey36 [心得] 恭喜開版TPK09 [恭喜] 賀開版O800092000