原文恕刪...
我還是再問一下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，有點難驗證自己想的是不是對的...