原文恕删...
我还是再问一下slide p20的问题好了!!
如果gs不能testable的条件是因为gd s-a-0的MA
那不就只是因为(gd,1) imply (gs,1)，所以Fault sensitization会失败?
可是当(gd,0)时，怎么知道gs也同样不是testable的呢??
换句话说，为什么不会存在一种assignment是：
gd's input是non-controlling value、gd's all dominators是non-controlling value
gs=0、gd=0。(这样gs不就会testable了?)
btw...
有没有人写了hw6
对(d)而言，MA找到(g8,0) (f,1) (g4,0) (g7,0)
redundant wire: (!f->g8)
对(e)而言，2-way RAR的第一步找到(f-g8)
第二步却找不到redundant wire?
没有reference solution，有点难验证自己想的是不是对的...