diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-24 22:57:01 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-24 22:57:01 -0700 |
commit | d0197d83782fd016358360c305d5d4dcd7ef95d8 (patch) | |
tree | fb4e57749dc33ee0a4bb7befd4087e0e97cec4ac /src/map/mio | |
parent | 4ab0c4b204b4c3cb71155b78b258051baafed7c0 (diff) | |
download | abc-d0197d83782fd016358360c305d5d4dcd7ef95d8.tar.gz abc-d0197d83782fd016358360c305d5d4dcd7ef95d8.tar.bz2 abc-d0197d83782fd016358360c305d5d4dcd7ef95d8.zip |
Changed printouts in a few places in supergate computation.
Diffstat (limited to 'src/map/mio')
-rw-r--r-- | src/map/mio/mio.h | 2 | ||||
-rw-r--r-- | src/map/mio/mioUtils.c | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 55612e32..e6a0cc8f 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -144,7 +144,7 @@ extern void Mio_GateDelete( Mio_Gate_t * pGate ); extern void Mio_PinDelete( Mio_Pin_t * pPin ); extern Mio_Pin_t * Mio_PinDup( Mio_Pin_t * pPin ); extern void Mio_WriteLibrary( FILE * pFile, Mio_Library_t * pLib, int fPrintSops ); -extern Mio_Gate_t ** Mio_CollectRoots( Mio_Library_t * pLib, int nInputs, float tDelay, int fSkipInv, int * pnGates ); +extern Mio_Gate_t ** Mio_CollectRoots( Mio_Library_t * pLib, int nInputs, float tDelay, int fSkipInv, int * pnGates, int fVerbose ); extern word Mio_DeriveTruthTable6( Mio_Gate_t * pGate ); extern void Mio_DeriveTruthTable( Mio_Gate_t * pGate, unsigned uTruthsIn[][2], int nSigns, int nInputs, unsigned uTruthRes[] ); extern void Mio_DeriveGateDelays( Mio_Gate_t * pGate, diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c index 347d81f5..a11fed68 100644 --- a/src/map/mio/mioUtils.c +++ b/src/map/mio/mioUtils.c @@ -297,7 +297,7 @@ int Mio_DelayCompare( Mio_Gate_t ** ppG1, Mio_Gate_t ** ppG2 ) SeeAlso [] ***********************************************************************/ -Mio_Gate_t ** Mio_CollectRoots( Mio_Library_t * pLib, int nInputs, float tDelay, int fSkipInv, int * pnGates ) +Mio_Gate_t ** Mio_CollectRoots( Mio_Library_t * pLib, int nInputs, float tDelay, int fSkipInv, int * pnGates, int fVerbose ) { Mio_Gate_t * pGate; Mio_Gate_t ** ppGates; @@ -334,6 +334,9 @@ Mio_Gate_t ** Mio_CollectRoots( Mio_Library_t * pLib, int nInputs, float tDelay, continue; assert( iGate < nGates ); ppGates[ iGate++ ] = pGate; + if ( fVerbose ) + printf( "Selected gate %3d: %-20s A = %7.2f D = %7.2f %3s = %-s\n", + iGate+1, pGate->pName, pGate->dArea, pGate->dDelayMax, pGate->pOutName, pGate->pForm ); } // sort by delay if ( iGate > 0 ) |