diff options
Diffstat (limited to 'src/base/abc/abcRenode.c')
| -rw-r--r-- | src/base/abc/abcRenode.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/abc/abcRenode.c b/src/base/abc/abcRenode.c index ab1a09c3..12bf0912 100644 --- a/src/base/abc/abcRenode.c +++ b/src/base/abc/abcRenode.c @@ -81,6 +81,9 @@ Abc_Ntk_t * Abc_NtkRenode( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCn // make the network minimum base Abc_NtkMinimumBase( pNtkNew ); + // fix the problem with complemented and duplicated CO edges + Abc_NtkLogicMakeSimpleCos( pNtkNew, 0 ); + // report the number of CNF objects if ( fCnf ) { @@ -130,7 +133,7 @@ void Abc_NtkRenodeInt( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew ) Abc_NtkForEachCo( pNtk, pNode, i ) { Extra_ProgressBarUpdate( pProgress, i, NULL ); - if ( Abc_ObjIsTerm(Abc_ObjFanin0(pNode)) ) + if ( Abc_ObjIsCi(Abc_ObjFanin0(pNode)) ) continue; Abc_NtkRenode_rec( pNtkNew, Abc_ObjFanin0(pNode) ); } |