From 6095b1517488139c4d6b94507bc230cf4588ffd3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 26 Apr 2014 23:47:54 -0700 Subject: Added dumping original object names into a file. --- src/base/abci/abcStrash.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/base/abci/abcStrash.c') diff --git a/src/base/abci/abcStrash.c b/src/base/abci/abcStrash.c index d428af38..a3d87323 100644 --- a/src/base/abci/abcStrash.c +++ b/src/base/abci/abcStrash.c @@ -232,6 +232,11 @@ Abc_Ntk_t * Abc_NtkRestrashZero( Abc_Ntk_t * pNtk, int fCleanup ) // duplicate EXDC if ( pNtk->pExdc ) pNtkAig->pExdc = Abc_NtkDup( pNtk->pExdc ); + // transfer name IDs + if ( pNtk->vNameIds ) + Abc_NtkTransferNameIds( pNtk, pNtkAig ); + if ( pNtk->vNameIds ) + Abc_NtkUpdateNameIds( pNtkAig ); // make sure everything is okay if ( !Abc_NtkCheck( pNtkAig ) ) { @@ -276,6 +281,9 @@ Abc_Ntk_t * Abc_NtkStrash( Abc_Ntk_t * pNtk, int fAllNodes, int fCleanup, int fR pNtkAig = Abc_NtkStartFrom( pNtk, ABC_NTK_STRASH, ABC_FUNC_AIG ); Abc_NtkStrashPerform( pNtk, pNtkAig, fAllNodes, fRecord ); Abc_NtkFinalize( pNtk, pNtkAig ); + // transfer name IDs + if ( pNtk->vNameIds ) + Abc_NtkTransferNameIds( pNtk, pNtkAig ); // print warning about self-feed latches // if ( Abc_NtkCountSelfFeedLatches(pNtkAig) ) // printf( "Warning: The network has %d self-feeding latches.\n", Abc_NtkCountSelfFeedLatches(pNtkAig) ); -- cgit v1.2.3