※ 引述《pokia (幻影成風)》之銘言：
: 我想請問2-way RAR的第二步驟。
: 講義的p20提到，對gd的output做s-a-0後，得到ouput=1的gs後
: 直接連gs-gd，這就是一條redundant wire。
: 為什麼gs-gd是redundant wire？
: 我記得老師上課有說，去想想gs可以成為redundant的條件。
: (腦筋一時卡住想不到...)
gs 成為 testable 的條件為:
1. gs = 0 (false sensitization)
2. gs-gd fault propagation path (dominators) 的 side inputs 都為
non-controlling
而 (2) 正好就是 gd s-a-0 的 MA,
但是 MA(gd s-a-0) implies gs = 1, which conflicts with (1),
所以 gs-gd 不可能是 testable ==> redundant
: 不過我想問，如果gs的output=0，為什麼不能成為redundant?(不加inverter)
: 有人能利用p23、p24來解釋嗎？
if gs = 0, then it won't conflict with the MA(gd)
: 另外，
: 2-way RAR的第一步驟是加入gs-gd讓gt是redundant，
: 第二步驟是確定加入的gs-gd是redundant wire
: 這樣想對嗎？
可以這麼說。