diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-12 18:29:15 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-12 18:29:15 -0700 |
commit | 20c46b5a452c08f949929c02d93a060f79144d79 (patch) | |
tree | 1a66c6d0ac2bebd5b765a34627da61ebec2ea7be /src/map/mio/mioUtils.c | |
parent | d25473b30722d1567345e2f10e22baa94272085c (diff) | |
download | abc-20c46b5a452c08f949929c02d93a060f79144d79.tar.gz abc-20c46b5a452c08f949929c02d93a060f79144d79.tar.bz2 abc-20c46b5a452c08f949929c02d93a060f79144d79.zip |
Experiments with precomputation and matching.
Diffstat (limited to 'src/map/mio/mioUtils.c')
-rw-r--r-- | src/map/mio/mioUtils.c | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c index a67aa5a1..bb24c7c8 100644 --- a/src/map/mio/mioUtils.c +++ b/src/map/mio/mioUtils.c @@ -200,10 +200,10 @@ void Mio_WritePin( FILE * pFile, Mio_Pin_t * pPin, int NameLen, int fAllPins ) fprintf( pFile, "%7s ", pPhaseNames[pPin->Phase] ); fprintf( pFile, "%3d ", (int)pPin->dLoadInput ); fprintf( pFile, "%3d ", (int)pPin->dLoadMax ); - fprintf( pFile, "%6.2f ", pPin->dDelayBlockRise ); - fprintf( pFile, "%6.2f ", pPin->dDelayFanoutRise ); - fprintf( pFile, "%6.2f ", pPin->dDelayBlockFall ); - fprintf( pFile, "%6.2f", pPin->dDelayFanoutFall ); + fprintf( pFile, "%8.2f ", pPin->dDelayBlockRise ); + fprintf( pFile, "%8.2f ", pPin->dDelayFanoutRise ); + fprintf( pFile, "%8.2f ", pPin->dDelayBlockFall ); + fprintf( pFile, "%8.2f", pPin->dDelayFanoutFall ); } /**Function************************************************************* @@ -225,7 +225,7 @@ void Mio_WriteGate( FILE * pFile, Mio_Gate_t * pGate, int GateLen, int NameLen, sprintf( Buffer, "%s=%s;", pGate->pOutName, pGate->pForm ); fprintf( pFile, "GATE %-*s ", GateLen, pGate->pName ); fprintf( pFile, "%8.2f ", pGate->dArea ); - fprintf( pFile, "%-*s ", Abc_MinInt(NameLen+FormLen+2, 30), Buffer ); + fprintf( pFile, "%-*s ", Abc_MinInt(NameLen+FormLen+2, 60), Buffer ); // print the pins if ( fPrintSops ) fprintf( pFile, "%s", pGate->pSop? pGate->pSop : "unspecified\n" ); @@ -248,12 +248,12 @@ void Mio_WriteGate( FILE * pFile, Mio_Gate_t * pGate, int GateLen, int NameLen, SeeAlso [] ***********************************************************************/ -void Mio_WriteLibrary( FILE * pFile, Mio_Library_t * pLib, int fPrintSops ) +void Mio_WriteLibrary( FILE * pFile, Mio_Library_t * pLib, int fPrintSops, int fShort ) { Mio_Gate_t * pGate; Mio_Pin_t * pPin; int i, GateLen = 0, NameLen = 0, FormLen = 0; - int fAllPins = Mio_CheckGates( pLib ); + int fAllPins = fShort || Mio_CheckGates( pLib ); Mio_LibraryForEachGate( pLib, pGate ) { GateLen = Abc_MaxInt( GateLen, strlen(pGate->pName) ); @@ -631,6 +631,7 @@ static inline void Mio_CollectCopy2( Mio_Cell2_t * pCell, Mio_Gate_t * pGate ) { Mio_Pin_t * pPin; int k; pCell->pName = pGate->pName; + pCell->vExpr = pGate->vExpr; pCell->uTruth = pGate->uTruth; pCell->Area = (word)(MIO_NUM * pGate->dArea); pCell->nFanins = pGate->nInputs; |