diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-02 22:20:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-02 22:20:55 -0800 |
| commit | 03b9f41786b59f90b1513e9436ec3e1082f80cb3 (patch) | |
| tree | 6222d34d7ba3c82b3a6467f3e5079e337a620f21 /src/aig | |
| parent | dfa34cc2e4fe408f4ec6046ba9c0834fd2eaafb4 (diff) | |
| download | abc-03b9f41786b59f90b1513e9436ec3e1082f80cb3.tar.gz abc-03b9f41786b59f90b1513e9436ec3e1082f80cb3.tar.bz2 abc-03b9f41786b59f90b1513e9436ec3e1082f80cb3.zip | |
Bug fix in blasting word-level flops.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaSwitch.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c index b1c5eb82..4722ef0f 100644 --- a/src/aig/gia/giaSwitch.c +++ b/src/aig/gia/giaSwitch.c @@ -795,6 +795,14 @@ float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbO Gia_ManForEachAnd( p, pObj, i ) SwiTotal += pSwi[Gia_ObjFaninId0(pObj, i)] + pSwi[Gia_ObjFaninId1(pObj, i)]; } + if ( 0 ) + { + Gia_ManForEachObj( p, pObj, i ) + { + printf( "Switch %6.2f ", pSwi[i] ); + Gia_ObjPrint( p, pObj ); + } + } Vec_IntFree( vSwitching ); return SwiTotal; } |