diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-26 23:47:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-26 23:47:54 -0700 |
| commit | 6095b1517488139c4d6b94507bc230cf4588ffd3 (patch) | |
| tree | de04e416f7287a2e97e0597761d0f589e0741e2d /src/base/abci | |
| parent | 6e465e57fe8fb098b8a0fc6286d45a444655775f (diff) | |
| download | abc-6095b1517488139c4d6b94507bc230cf4588ffd3.tar.gz abc-6095b1517488139c4d6b94507bc230cf4588ffd3.tar.bz2 abc-6095b1517488139c4d6b94507bc230cf4588ffd3.zip | |
Added dumping original object names into a file.
Diffstat (limited to 'src/base/abci')
| -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 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) ); |