From c645bac3663c265470024b44ed91b0afdbe59b88 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 10 Apr 2008 08:01:00 -0700 Subject: Version abc80410 --- src/base/abci/abcDar.c | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) (limited to 'src/base/abci/abcDar.c') 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; -- cgit v1.2.3