[問題] sat

[puerpuella (柏亨)]

看不太懂sat engine是要怎麼用..

是要一開始就把整個電路每個gate建出來，simulate找出FEC pairs後再證明，

還是對每一個FEC pair都把子電路建出來，證完再刪掉建下一個?

另外我搞不懂sat裡面的assume和assert要怎麼分別?

每個直接xor起來再assert和分別assume值求解感覺效果一樣

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.245.114