diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-27 10:48:40 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-27 10:48:40 -0700 |
commit | 35143e830b9a05ed5f4c6f522a609f88ef726708 (patch) | |
tree | 32e745eee9539880284d60b4d2d259d1a17d8323 /src/opt/sfm/sfmTime.c | |
parent | bd586dd3558e4b967a2e3f569b89c9c35a8f548b (diff) | |
download | abc-35143e830b9a05ed5f4c6f522a609f88ef726708.tar.gz abc-35143e830b9a05ed5f4c6f522a609f88ef726708.tar.bz2 abc-35143e830b9a05ed5f4c6f522a609f88ef726708.zip |
Experiments with precomputation and matching.
Diffstat (limited to 'src/opt/sfm/sfmTime.c')
-rw-r--r-- | src/opt/sfm/sfmTime.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/opt/sfm/sfmTime.c b/src/opt/sfm/sfmTime.c index 8334d291..80b68fef 100644 --- a/src/opt/sfm/sfmTime.c +++ b/src/opt/sfm/sfmTime.c @@ -242,10 +242,10 @@ Sfm_Tim_t * Sfm_TimStart( Mio_Library_t * pLib, Scl_Con_t * pExt, Abc_Ntk_t * pN p->pLib = pLib; p->pExt = pExt; p->pNtk = pNtk; - Vec_IntFill( &p->vTimArrs, 4*Abc_NtkObjNumMax(pNtk), 0 ); - Vec_IntFill( &p->vTimReqs, 4*Abc_NtkObjNumMax(pNtk), 0 ); -// Vec_IntFill( &p->vTimSlews, 4*Abc_NtkObjNumMax(pNtk), 0 ); -// Vec_IntFill( &p->vTimLoads, 4*Abc_NtkObjNumMax(pNtk), 0 ); + Vec_IntFill( &p->vTimArrs, 3*Abc_NtkObjNumMax(pNtk), 0 ); + Vec_IntFill( &p->vTimReqs, 3*Abc_NtkObjNumMax(pNtk), 0 ); +// Vec_IntFill( &p->vTimSlews, 3*Abc_NtkObjNumMax(pNtk), 0 ); +// Vec_IntFill( &p->vTimLoads, 3*Abc_NtkObjNumMax(pNtk), 0 ); // Vec_IntFill( &p->vObjOffs, 2*Abc_NtkObjNumMax(pNtk), 0 ); // Abc_NtkForEachNode( pNtk, pObj, i ) // { @@ -339,6 +339,8 @@ static inline void Sfm_TimUpdateClean( Sfm_Tim_t * p ) void Sfm_TimUpdateTiming( Sfm_Tim_t * p, Vec_Int_t * vTimeNodes ) { assert( Vec_IntSize(vTimeNodes) > 0 && Vec_IntSize(vTimeNodes) <= 2 ); + Vec_IntFillExtra( &p->vTimArrs, 2*Abc_NtkObjNumMax(p->pNtk), 0 ); + Vec_IntFillExtra( &p->vTimReqs, 2*Abc_NtkObjNumMax(p->pNtk), 0 ); p->Delay = Sfm_TimTrace( p ); } |