※ 引述《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
: 这样想对吗？
可以这么说。