diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-09 23:54:57 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-09 23:54:57 -0800 |
| commit | 873c35018a5caa27be6670a13eeeacfc5479e66b (patch) | |
| tree | b663e6f2c057ff173827f96c3434e701025d403c /src | |
| parent | ac72d73dc6325410d2b69ee63eb727bfc42e46d9 (diff) | |
| download | abc-873c35018a5caa27be6670a13eeeacfc5479e66b.tar.gz abc-873c35018a5caa27be6670a13eeeacfc5479e66b.tar.bz2 abc-873c35018a5caa27be6670a13eeeacfc5479e66b.zip | |
Removing unauthorized printout in 'pdr'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaFadds.c | 8 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 2 |
2 files changed, 8 insertions, 2 deletions
diff --git a/src/aig/gia/giaFadds.c b/src/aig/gia/giaFadds.c index accba9c3..499a9e8f 100644 --- a/src/aig/gia/giaFadds.c +++ b/src/aig/gia/giaFadds.c @@ -225,7 +225,7 @@ void Dtc_ManComputeCuts( Gia_Man_t * p, Vec_Int_t ** pvCutsXor, Vec_Int_t ** pvC Dtc_ManCutMerge( p, i, pList0, pList1, vTemp, vCutsXor, vCutsMaj ); Vec_IntWriteEntry( vCuts, i, Vec_IntSize(vCuts) ); Vec_IntAppend( vCuts, vTemp ); - nCuts += Vec_IntSize( vTemp ); + nCuts += Vec_IntEntry( vTemp, 0 ); } if ( fVerbose ) printf( "Nodes = %d. Cuts = %d. Cuts/Node = %.2f. Ints/Node = %.2f.\n", @@ -650,6 +650,7 @@ void Gia_ManDupWithFaddBoxes_rec( Gia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * p } Gia_Man_t * Gia_ManDupWithFaddBoxes( Gia_Man_t * p, int nFaddMin, int fVerbose ) { + abctime clk = Abc_Clock(); Gia_Man_t * pNew, * pTemp; Vec_Int_t * vFadds, * vMap, * vMap2Chain, * vTruths, * vChain; Vec_Wec_t * vChains; @@ -678,8 +679,11 @@ Gia_Man_t * Gia_ManDupWithFaddBoxes( Gia_Man_t * p, int nFaddMin, int fVerbose ) vMap2Chain = Gia_ManFindMapping( p, vFadds, vMap, vChains ); // compute truth tables for FADDs vTruths = Gia_ManCollectTruthTables( p, vFadds ); + if ( fVerbose ) + Abc_PrintTime( 1, "Carry-chain detection time", Abc_Clock() - clk ); // duplicate + clk = Abc_Clock(); Gia_ManFillValue( p ); pNew = Gia_ManStart( Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); @@ -723,6 +727,8 @@ Gia_Man_t * Gia_ManDupWithFaddBoxes( Gia_Man_t * p, int nFaddMin, int fVerbose ) //Gia_ManStop( pTemp ); //Gia_ManIllustrateBoxes( pNew ); + if ( fVerbose ) + Abc_PrintTime( 1, "AIG with boxes construction time", Abc_Clock() - clk ); return pNew; } diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c0591571..d631d11c 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -26480,7 +26480,7 @@ int Abc_CommandAbc9Strash( Abc_Frame_t * pAbc, int argc, char ** argv ) pNew->pManTime = NULL; Gia_ManStop( pNew ); if ( !Abc_FrameReadFlag("silentmode") ) - printf( "Collapsed AIG with boxes with logic of the boxes.\n" ); + printf( "Collapsed AIG with boxes and logic of the boxes.\n" ); } else if ( pAbc->pGia->pMuxes ) { |