作者Letitiamm (Letitia)
看板EE_DSnP
標題[問題] sat
時間Sun Jan 16 00:24:24 2011
請問一下
在fraig的時候
應該是把每個fec都丟進去看他是否有解
有解 則不再是fec
無解 則merge起來
那最後不是應該沒有fec了嗎
我跑ref的時候
read sim12.aag
simulate pattern.12
最後在fraig
然後還是有3組fec存在
～～～～～～～～～～～～～～～～～
第二個問題
如果沒做optimization可以做fraig嗎
如果可以 是不是把const gate那個assumption成false就好了？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.216.200