diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-16 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-16 08:01:00 -0700 |
| commit | 6074fa3a1e76d846b1abd6674891ff7ed5b78175 (patch) | |
| tree | be4be52f53152eddcc4b718b9c9c3446dd142f81 /src/aig/fra/fraSec.c | |
| parent | 9b059e3085eaa55817684926b3c508ba7fe0075f (diff) | |
| download | abc-6074fa3a1e76d846b1abd6674891ff7ed5b78175.tar.gz abc-6074fa3a1e76d846b1abd6674891ff7ed5b78175.tar.bz2 abc-6074fa3a1e76d846b1abd6674891ff7ed5b78175.zip | |
Version abc80316
Diffstat (limited to 'src/aig/fra/fraSec.c')
| -rw-r--r-- | src/aig/fra/fraSec.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index 75d297cf..bbad2a6e 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -40,7 +40,7 @@ SeeAlso [] ***********************************************************************/ -int Fra_FraigSec( Aig_Man_t * p, int nFramesMax, int fRetimeFirst, int fVerbose, int fVeryVerbose ) +int Fra_FraigSec( Aig_Man_t * p, int nFramesMax, int fRetimeFirst, int fFraiging, int fVerbose, int fVeryVerbose ) { Fra_Ssw_t Pars, * pPars = &Pars; Fra_Sml_t * pSml; @@ -113,6 +113,8 @@ PRT( "Time", clock() - clk ); } // perform fraiging + if ( fFraiging ) + { clk = clock(); pNew = Fra_FraigEquivence( pTemp = pNew, 100, 0 ); Aig_ManStop( pTemp ); @@ -122,6 +124,7 @@ clk = clock(); Aig_ManRegNum(pNew), Aig_ManNodeNum(pNew) ); PRT( "Time", clock() - clk ); } + } // perform seq sweeping while increasing the number of frames RetValue = Fra_FraigMiterStatus( pNew ); |