diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-13 18:28:25 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-13 18:28:25 -0800 |
| commit | a34183790f64e829718c3918144af70e1398ab46 (patch) | |
| tree | 690e9e91b2d47ca64cef3b472a5d60b0d0300e49 /src/misc | |
| parent | 968be1577b684070e6ad6c1aebd70559062d94f3 (diff) | |
| download | abc-a34183790f64e829718c3918144af70e1398ab46.tar.gz abc-a34183790f64e829718c3918144af70e1398ab46.tar.bz2 abc-a34183790f64e829718c3918144af70e1398ab46.zip | |
Enabling AIGs with boxes for word-level and sequential designs.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/tim/timMan.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 93c69146..c3caf4dc 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -316,7 +316,7 @@ void Tim_ManCreate( Tim_Man_t * p, void * pLib, Vec_Flt_t * vInArrs, Vec_Flt_t * float * pTable; int i, k; assert( p->vDelayTables == NULL ); - p->vDelayTables = Vec_PtrStart( Vec_PtrSize(pLibBox->vBoxes) ); + p->vDelayTables = pLibBox ? Vec_PtrStart( Vec_PtrSize(pLibBox->vBoxes) ) : Vec_PtrAlloc( 100 ); if ( p->vBoxes ) Tim_ManForEachBox( p, pBox, i ) { @@ -445,10 +445,10 @@ void Tim_ManPrint( Tim_Man_t * p ) if ( pPrev->timeArr != pObj->timeArr || pPrev->timeReq != pObj->timeReq ) break; if ( i == Tim_ManCiNum(p) ) - printf( "All PIs : arr = %5.3f req = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); + printf( "All PIs : arrival = %5.3f required = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); else Tim_ManForEachPi( p, pObj, i ) - printf( "PI%5d : arr = %5.3f req = %5.3f\n", i, pObj->timeArr, pObj->timeReq ); + printf( "PI%5d : arrival = %5.3f required = %5.3f\n", i, pObj->timeArr, pObj->timeReq ); // print CO info pPrev = p->pCos; @@ -456,12 +456,12 @@ void Tim_ManPrint( Tim_Man_t * p ) if ( pPrev->timeArr != pObj->timeArr || pPrev->timeReq != pObj->timeReq ) break; if ( i == Tim_ManCoNum(p) ) - printf( "All POs : arr = %5.3f req = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); + printf( "All POs : arrival = %5.3f required = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); else { int k = 0; Tim_ManForEachPo( p, pObj, i ) - printf( "PO%5d : arr = %5.3f req = %5.3f\n", k++, pObj->timeArr, pObj->timeReq ); + printf( "PO%5d : arrival = %5.3f required = %5.3f\n", k++, pObj->timeArr, pObj->timeReq ); } // print box info @@ -479,10 +479,10 @@ void Tim_ManPrint( Tim_Man_t * p ) if ( pPrev->timeArr != pObj->timeArr || pPrev->timeReq != pObj->timeReq ) break; if ( k == Tim_ManBoxInputNum(p, pBox->iBox) ) - printf( "Box inputs : arr = %5.3f req = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); + printf( "Box inputs : arrival = %5.3f required = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); else Tim_ManBoxForEachInput( p, pBox, pObj, k ) - printf( "box-in%4d : arr = %5.3f req = %5.3f\n", k, pObj->timeArr, pObj->timeReq ); + printf( "box-in%4d : arrival = %5.3f required = %5.3f\n", k, pObj->timeArr, pObj->timeReq ); // print box outputs pPrev = Tim_ManBoxOutput( p, pBox, 0 ); @@ -490,10 +490,10 @@ void Tim_ManPrint( Tim_Man_t * p ) if ( pPrev->timeArr != pObj->timeArr || pPrev->timeReq != pObj->timeReq ) break; if ( k == Tim_ManBoxOutputNum(p, pBox->iBox) ) - printf( "Box outputs : arr = %5.3f req = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); + printf( "Box outputs : arrival = %5.3f required = %5.3f\n", pPrev->timeArr, pPrev->timeReq ); else Tim_ManBoxForEachOutput( p, pBox, pObj, k ) - printf( "box-out%3d : arr = %5.3f req = %5.3f\n", k, pObj->timeArr, pObj->timeReq ); + printf( "box-out%3d : arrival = %5.3f required = %5.3f\n", k, pObj->timeArr, pObj->timeReq ); if ( i > 2 ) break; |