diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-11-30 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-11-30 08:01:00 -0800 |
| commit | 369f008e69a4f201cbc7c890a08221086bee4698 (patch) | |
| tree | 6dbc56239d2c6cf916c660327525b19773a9907c /src/aig/fra/fraSec.c | |
| parent | 765a21240891735a844dd64d1d73789ae6e55bc6 (diff) | |
| download | abc-369f008e69a4f201cbc7c890a08221086bee4698.tar.gz abc-369f008e69a4f201cbc7c890a08221086bee4698.tar.bz2 abc-369f008e69a4f201cbc7c890a08221086bee4698.zip | |
Version abc71130
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 573d3570..17a7335c 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -228,9 +228,11 @@ PRT( "Time", clock() - clk ); } if ( pNew->nRegs ) - pNew = Aig_ManConstReduce( pNew, 0 ); + pNew = Aig_ManConstReduce( pNew, 0 ); // perform sequential simulation + if ( pNew->nRegs ) + { clk = clock(); pSml = Fra_SmlSimulateSeq( pNew, 0, 128 * nFrames, 1 + 16/(1+Aig_ManNodeNum(pNew)/1000) ); if ( fVerbose ) @@ -250,6 +252,7 @@ PRT( "Time", clock() - clkTotal ); return RetValue; } Fra_SmlStop( pSml ); + } } // get the miter status |