作者puerpuella (柏亨)
看板EE_DSnP
標題[問題] sat
時間Mon Jan 10 23:14:18 2011
看不太懂sat engine是要怎麼用..
是要一開始就把整個電路每個gate建出來，simulate找出FEC pairs後再證明，
還是對每一個FEC pair都把子電路建出來，證完再刪掉建下一個?
另外我搞不懂sat裡面的assume和assert要怎麼分別?
每個直接xor起來再assert和分別assume值求解感覺效果一樣
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.245.114