diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-08-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-08-02 08:01:00 -0700 |
| commit | cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef (patch) | |
| tree | ae99229ba649fe84e3f1a895570c38601b4b68e4 /src/base/abci/abcDar.c | |
| parent | 582a059e34d913ed52dfc18049e407055ebd7879 (diff) | |
| download | abc-cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef.tar.gz abc-cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef.tar.bz2 abc-cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef.zip | |
Version abc80802
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index c7e0df30..16215a64 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -834,16 +834,27 @@ Abc_Ntk_t * Abc_NtkDch( Abc_Ntk_t * pNtk, Dch_Pars_t * pPars ) Vec_Ptr_t * vAigs; Aig_Man_t * pMan, * pTemp; Abc_Ntk_t * pNtkAig; - int i; + int i, clk; assert( Abc_NtkIsStrash(pNtk) ); pMan = Abc_NtkToDar( pNtk, 0, 0 ); if ( pMan == NULL ) return NULL; - vAigs = Dar_ManChoiceSynthesis( pMan, 1, 1, pPars->fVerbose ); - Aig_ManStop( pMan ); +clk = clock(); + if ( pPars->fSynthesis ) + { +// vAigs = Dar_ManChoiceSynthesis( pMan, 1, 1, pPars->fVerbose ); + vAigs = Dar_ManChoiceSynthesis( pMan, 1, 1, 0 ); + Aig_ManStop( pMan ); + } + else + { + vAigs = Vec_PtrAlloc( 1 ); + Vec_PtrPush( vAigs, pMan ); + } +pPars->timeSynth = clock() - clk; pMan = Dch_ComputeChoices( vAigs, pPars ); -// pNtkAig = Abc_NtkFromDarChoices( pNtk, pMan ); - pNtkAig = Abc_NtkFromDar( pNtk, pMan ); + pNtkAig = Abc_NtkFromDarChoices( pNtk, pMan ); +// pNtkAig = Abc_NtkFromDar( pNtk, pMan ); Aig_ManStop( pMan ); // cleanup Vec_PtrForEachEntry( vAigs, pTemp, i ) |