diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-30 21:02:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-30 21:02:29 -0700 |
| commit | 1794bd37cddc9ba24b9b1f517ee813e238f62ae4 (patch) | |
| tree | 47d2163e1a03f15c33c90682374c611e56426159 /src/map/amap | |
| parent | 02f7ede7c6d605ca58cbdd882d1818c7a274f5bc (diff) | |
| download | abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.tar.gz abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.tar.bz2 abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.zip | |
Made gate library package Mio independent of CUDD.
Diffstat (limited to 'src/map/amap')
| -rw-r--r-- | src/map/amap/amapLib.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/map/amap/amapLib.c b/src/map/amap/amapLib.c index 474b444d..74017dde 100644 --- a/src/map/amap/amapLib.c +++ b/src/map/amap/amapLib.c @@ -306,10 +306,11 @@ void Amap_LibPrintSelectedGates( Amap_Lib_t * p, int fAllGates ) vArray = fAllGates? p->vGates : p->vSelect; Vec_PtrForEachEntry( Amap_Gat_t *, vArray, pGate, i ) { - printf( "Gate %4d : %15s Area = %9.2f\n", pGate->Id, pGate->pName, pGate->dArea ); - printf( " Formula: %s=%s\n", pGate->pOutName, pGate->pForm ); - printf( " DSD: " ); + printf( "%3d :%12s %d %9.2f ", i, pGate->pName, pGate->nPins, pGate->dArea ); + printf( "%4s=%40s ", pGate->pOutName, pGate->pForm ); + printf( "DSD: " ); Kit_DsdPrintFromTruth( pGate->pFunc, pGate->nPins ); + printf( "\n" ); } } @@ -345,6 +346,7 @@ Amap_Lib_t * Amap_LibReadAndPrepare( char * pFileName, int fVerbose, int fVeryVe printf( "Selected %d functionally unique gates. ", Vec_PtrSize(p->vSelect), Vec_PtrSize(p->vSorted) ); ABC_PRT( "Time", clock() - clk ); +// Amap_LibPrintSelectedGates( p, 0 ); } clk = clock(); Amap_LibCreateRules( p, fVeryVerbose ); |