diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-27 08:01:00 -0700 |
| commit | 689cbe904e3a28d7502feb9931b748764f947aaf (patch) | |
| tree | bbb8fff24434b41482f2878489b8210d58b495c5 /src/base/abci/abcStrash.c | |
| parent | 91effd8148493c3837513c9256eefdf488dd9b97 (diff) | |
| download | abc-689cbe904e3a28d7502feb9931b748764f947aaf.tar.gz abc-689cbe904e3a28d7502feb9931b748764f947aaf.tar.bz2 abc-689cbe904e3a28d7502feb9931b748764f947aaf.zip | |
Version abc80927
Diffstat (limited to 'src/base/abci/abcStrash.c')
| -rw-r--r-- | src/base/abci/abcStrash.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/base/abci/abcStrash.c b/src/base/abci/abcStrash.c index ad09f084..463846b9 100644 --- a/src/base/abci/abcStrash.c +++ b/src/base/abci/abcStrash.c @@ -122,7 +122,15 @@ Abc_Ntk_t * Abc_NtkRestrashZero( Abc_Ntk_t * pNtk, bool fCleanup ) // complement the 1-valued registers Abc_NtkForEachLatch( pNtkAig, pObj, i ) if ( Abc_LatchIsInit1(pObj) ) + { Abc_ObjXorFaninC( Abc_ObjFanin0(pObj), 0 ); + // if latch has PO as one of its fanouts change latch name + if ( Abc_NodeFindCoFanout( Abc_ObjFanout0(pObj) ) ) + { + Nm_ManDeleteIdName( pObj->pNtk->pManName, Abc_ObjFanout0(pObj)->Id ); + Abc_ObjAssignName( Abc_ObjFanout0(pObj), Abc_ObjName(Abc_ObjFanout0(pObj)), "_inv" ); + } + } // set all constant-0 values Abc_NtkForEachLatch( pNtkAig, pObj, i ) Abc_LatchSetInit0( pObj ); |