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/ssw | |
| 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/ssw')
| -rw-r--r-- | src/aig/ssw/sswCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ssw/sswCore.c b/src/aig/ssw/sswCore.c index 1f4d44d2..0b2393df 100644 --- a/src/aig/ssw/sswCore.c +++ b/src/aig/ssw/sswCore.c @@ -111,10 +111,10 @@ void Ssw_ReportConeReductions( Ssw_Man_t * p, Aig_Man_t * pAigInit, Aig_Man_t * { Aig_Man_t * pAig1, * pAig2, * pAux; pAig1 = Aig_ManDupOneOutput( pAigInit, 0, 1 ); - pAig1 = Aig_ManScl( pAux = pAig1, 1, 1, 0 ); + pAig1 = Aig_ManScl( pAux = pAig1, 1, 1, 0, -1, -1, 0, 0 ); Aig_ManStop( pAux ); pAig2 = Aig_ManDupOneOutput( pAigStop, 0, 1 ); - pAig2 = Aig_ManScl( pAux = pAig2, 1, 1, 0 ); + pAig2 = Aig_ManScl( pAux = pAig2, 1, 1, 0, -1, -1, 0, 0 ); Aig_ManStop( pAux ); p->nNodesBegC = Aig_ManNodeNum(pAig1); |