diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-11 09:11:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-11 09:11:02 -0700 |
| commit | d3d564400594128380d5f4603ebd7de445e6f773 (patch) | |
| tree | 7b98cab3b65d909229b1cc1c8ec239437bd3eaab /src/aig | |
| parent | bafd2a7820553438e919e3c0c4c683e72bb0366e (diff) | |
| download | abc-d3d564400594128380d5f4603ebd7de445e6f773.tar.gz abc-d3d564400594128380d5f4603ebd7de445e6f773.tar.bz2 abc-d3d564400594128380d5f4603ebd7de445e6f773.zip | |
Procedure to printout MiniLUT.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/miniaig/minilut.h | 32 |
1 files changed, 31 insertions, 1 deletions
diff --git a/src/aig/miniaig/minilut.h b/src/aig/miniaig/minilut.h index b080c983..2a27ccad 100644 --- a/src/aig/miniaig/minilut.h +++ b/src/aig/miniaig/minilut.h @@ -179,7 +179,37 @@ static void Mini_LutPrintStats( Mini_Lut_t * p ) nNodes = 0; Mini_LutForEachNode( p, i ) nNodes++; - printf( "PI = %d. PO = %d. LUT = %d.\n", nPis, nPos, nNodes ); + printf( "PI = %d. PO = %d. LUT = %d. FF = %d.\n", nPis, nPos, nNodes, p->nRegs ); +} +static void Mini_LutPrint( Mini_Lut_t * p ) +{ + int i, k, Fan; + printf( "MiniLUT statistics: " ); + Mini_LutPrintStats( p ); + printf( "Printout of nodes:\n" ); + for ( i = 0; i < p->nSize; i++ ) + { + printf( "%6d : ", i ); + if ( Mini_LutNodeIsConst(p, i) ) + printf( "Const%d", i ); + else if ( Mini_LutNodeIsPi(p, i) ) + printf( "PI" ); + else if ( Mini_LutNodeIsPo(p, i) ) + printf( "PO" ); + else if ( Mini_LutNodeIsNode(p, i) ) + { + printf( "LUT%d Fanins:", p->LutSize ); + Mini_LutForEachFanin( p, i, Fan, k ) + printf( " %6d", Fan ); + while ( k++ < p->LutSize ) + printf( " " ); + printf( " Function: " ); + for ( k = 31; k >= 0; k-- ) + printf( "%c", '0' + ((p->pTruths[i] >> k) & 1) ); + } + printf( "\n" ); + } + printf( "End of printout.\n" ); } // serialization |