diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 18:20:35 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 18:20:35 -0800 |
commit | be29f37baaa4eaef52829bc48593d12c8c81e8ba (patch) | |
tree | 5b0671988bf8fc8dadd51af1addb6e5d5242e34e /src/aig | |
parent | 9d5d8046105e083228fa504238d5e36b4e0d32d2 (diff) | |
download | abc-be29f37baaa4eaef52829bc48593d12c8c81e8ba.tar.gz abc-be29f37baaa4eaef52829bc48593d12c8c81e8ba.tar.bz2 abc-be29f37baaa4eaef52829bc48593d12c8c81e8ba.zip |
Added command 'cexcut' and 'cexmerge'.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaDup.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index b0c5ca21..eddbd320 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -1234,8 +1234,8 @@ Gia_Man_t * Gia_ManDupWithNewPo( Gia_Man_t * p1, Gia_Man_t * p2 ) assert( Gia_ManRegNum(p2) == 0 ); // there is only one PO in p2 assert( Gia_ManPoNum(p2) == 1 ); - // flop count of p1 is equal to input count of p2 - assert( Gia_ManRegNum(p1) == Gia_ManPiNum(p2) ); + // input count of p2 is equal to flop count of p1 + assert( Gia_ManPiNum(p2) == Gia_ManRegNum(p1) ); // start new AIG pNew = Gia_ManStart( Gia_ManObjNum(p1)+Gia_ManObjNum(p2) ); @@ -1261,7 +1261,7 @@ Gia_Man_t * Gia_ManDupWithNewPo( Gia_Man_t * p1, Gia_Man_t * p2 ) Gia_ManForEachRi( p1, pObj, i ) Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) ); Gia_ManHashStop( pNew ); -// Gia_ManPrintStats( pGiaNew, 0 ); + Gia_ManSetRegNum( pNew, Gia_ManRegNum(p1) ); pNew = Gia_ManCleanup( pTemp = pNew ); Gia_ManStop( pTemp ); return pNew; |