diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-09 12:49:36 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-09 12:49:36 -0800 |
| commit | b30d55b74937983ebbf28a62c7cdc3b97340ff98 (patch) | |
| tree | 7b9c29afa3dc4951a241e61bc90da91e68cb02c6 /src/aig | |
| parent | 10729d50d4c2dc90f1023ff5874559ef47d6d53a (diff) | |
| download | abc-b30d55b74937983ebbf28a62c7cdc3b97340ff98.tar.gz abc-b30d55b74937983ebbf28a62c7cdc3b97340ff98.tar.bz2 abc-b30d55b74937983ebbf28a62c7cdc3b97340ff98.zip | |
PO partitioning algorithm.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaCone.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c index 56dae32a..91c0a5aa 100644 --- a/src/aig/gia/giaCone.c +++ b/src/aig/gia/giaCone.c @@ -390,7 +390,7 @@ Vec_Int_t * Gia_ManFindPivots( Gia_Man_t * p, int SelectShift, int fVerbose ) { j = (i + SelectShift) % Vec_IntSize(vWeights); if ( fVerbose ) - printf( "%6d : Pivot = %6d Weight = %6d\n", j, Vec_IntEntry(vPivots, pPerm[j]), Vec_IntEntry(vWeights, pPerm[j]) ); + printf( "%2d : Pivot =%7d Fanout =%7d\n", j, Vec_IntEntry(vPivots, pPerm[j]), Vec_IntEntry(vWeights, pPerm[j]) ); Vec_IntPush( vResult, Vec_IntEntry(vPivots, pPerm[j]) ); } @@ -501,9 +501,9 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose { int Offset = Vec_IntEntry( vBin, 0 ); word Sign = Vec_WrdEntry( vSigns, Offset ); - printf( "%6d : Support ", i ); + printf( "%3d ", i ); Extra_PrintBinary( stdout, &Offset, 64 ); - printf( " " ); + printf( " " ); } // remove the first item @@ -513,8 +513,8 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose if ( fVerbose ) { - printf( "PO = %7d ", Vec_IntSize(vBin) ); - printf( "FF = %7d", Gia_ManCountFlops(p, vBin) ); + printf( "PO =%5d ", Vec_IntSize(vBin) ); + printf( "FF =%5d", Gia_ManCountFlops(p, vBin) ); printf( "\n" ); } } |