diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 17:39:57 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 17:39:57 +0700 |
| commit | 3469b605e13e29d57476b4e7c8d76c38da3c9384 (patch) | |
| tree | ba64c3a19c4e776c90876825f2a09f67eb5b40fe /src/aig/fra/fraSec.c | |
| parent | c913fd8849a9ce150b21c640bdcda38d29b2d90e (diff) | |
| download | abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.gz abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.bz2 abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.zip | |
Sequential cleanup with symbolic/ternary simulation.
Diffstat (limited to 'src/aig/fra/fraSec.c')
| -rw-r--r-- | src/aig/fra/fraSec.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index 4b893cb2..ca8cf799 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -126,7 +126,7 @@ clk = clock(); if ( pNew->nRegs ) pNew = Aig_ManReduceLaches( pNew, 0 ); if ( pNew->nRegs ) - pNew = Aig_ManConstReduce( pNew, 0 ); + pNew = Aig_ManConstReduce( pNew, 0, -1, -1, 0, 0 ); if ( pParSec->fVerbose ) { printf( "Sequential cleanup: Latches = %5d. Nodes = %6d. ", @@ -407,7 +407,7 @@ ABC_PRT( "Time", clock() - clk ); } if ( pNew->nRegs ) - pNew = Aig_ManConstReduce( pNew, 0 ); + pNew = Aig_ManConstReduce( pNew, 0, -1, -1, 0, 0 ); // perform rewriting clk = clock(); @@ -498,7 +498,7 @@ clk = clock(); if ( pPars->fVerbose ) printf( "Solving output %2d (out of %2d):\n", i, Saig_ManPoNum(pNew) ); pTemp = Aig_ManDupOneOutput( pNew, i, 1 ); - pTemp = Aig_ManScl( pAux = pTemp, 1, 1, 0 ); + pTemp = Aig_ManScl( pAux = pTemp, 1, 1, 0, -1, -1, 0, 0 ); Aig_ManStop( pAux ); if ( Saig_ManRegNum(pTemp) > 0 ) { @@ -537,7 +537,7 @@ clk = clock(); } pNew = Aig_ManDupUnsolvedOutputs( pTemp = pNew, 1 ); Aig_ManStop( pTemp ); - pNew = Aig_ManScl( pTemp = pNew, 1, 1, 0 ); + pNew = Aig_ManScl( pTemp = pNew, 1, 1, 0, -1, -1, 0, 0 ); Aig_ManStop( pTemp ); } else |