[讨论] 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