diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
| commit | c645bac3663c265470024b44ed91b0afdbe59b88 (patch) | |
| tree | f213e6bff5697e1ffae3cc95b874b924dfad6ffb /src/base/abci/abcDar.c | |
| parent | 9d6b12ddfdeda36038441520af66e0c20297bcb7 (diff) | |
| download | abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.gz abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.bz2 abc-c645bac3663c265470024b44ed91b0afdbe59b88.zip | |
Version abc80410
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 81260e0e..26c64099 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -1288,15 +1288,20 @@ int Abc_NtkDarSec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int nFrames, int fRetim Abc_Ntk_t * Abc_NtkDarLatchSweep( Abc_Ntk_t * pNtk, int fLatchConst, int fLatchEqual, int fVerbose ) { Abc_Ntk_t * pNtkAig; - Aig_Man_t * pMan; + Aig_Man_t * pMan, * pTemp; pMan = Abc_NtkToDar( pNtk, 0, 1 ); if ( pMan == NULL ) return NULL; - Aig_ManSeqCleanup( pMan ); - if ( fLatchConst && pMan->nRegs ) - pMan = Aig_ManConstReduce( pMan, fVerbose ); - if ( fLatchEqual && pMan->nRegs ) - pMan = Aig_ManReduceLaches( pMan, fVerbose ); +// Aig_ManSeqCleanup( pMan ); +// if ( fLatchConst && pMan->nRegs ) +// pMan = Aig_ManConstReduce( pMan, fVerbose ); +// if ( fLatchEqual && pMan->nRegs ) +// pMan = Aig_ManReduceLaches( pMan, fVerbose ); + if ( pMan->vFlopNums ) + Vec_IntFree( pMan->vFlopNums ); + pMan->vFlopNums = NULL; + pMan = Aig_ManScl( pTemp = pMan, fLatchConst, fLatchEqual, fVerbose ); + Aig_ManStop( pTemp ); pNtkAig = Abc_NtkFromDarSeqSweep( pNtk, pMan ); Aig_ManStop( pMan ); return pNtkAig; |