[心得] 所谓的 known problem ypf791 PTT批踢踢实业坊

[心得] 所谓的 known problem

楼主: ypf791 (路人1号) 2012-12-22 16:44:23

好像不只是印不出 ! 这么简单....
fraig> cirr tests.fraig/sim10.aag
fraig> ciropt
这里的讯息先不管
fraig> cirstr
这里也是
fraig> cirg 333 -fani 1
AIG 333
!AIG 276
AIG 276
这里应该会发生 known problem
fraig> cirg 276 -fano 1
前面省略
!AIG 333
AIG 660
AIG 666
AIG 675
AIG 682
!AIG 333

作者: hsnuyi (羊咩咩~) 2012-02-22 17:58:00

... 感觉快写好了...(?)

作者: ric2k1 (Ric) 2012-02-22 21:51:00

恩，known problem 就是在这种情况印 fanout 时会看哪一个(有或是没有 "!") 先被印出来，后面那个就会印一样的。不过在 ciropt 一次 gate 333 就不见囉!

继续阅读

[重要] HW6 缴交情况Usoul Re: [情报] Final Project ref coderic2k1 [问题] new之后马上delete(已解决)boiq [问题] err40.aag(已解决)boiq [问题] cirr -rkbn2300 [分享] AAG Generatoryan12125 [情报] Final Project ref coderic2k1 [情报] 今日关于 HW#6 被问最多的问题...ric2k1 [问题] CIRPrint -FLoating 顺序shps90060505 [问题] vector存pointer的问题pcicy