summaryrefslogtreecommitdiffstats
path: root/src/misc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-11-13 18:28:25 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2014-11-13 18:28:25 -0800
commita34183790f64e829718c3918144af70e1398ab46 (patch)
tree690e9e91b2d47ca64cef3b472a5d60b0d0300e49 /src/misc
parent968be1577b684070e6ad6c1aebd70559062d94f3 (diff)
downloadabc-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.c18
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;