作者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