summaryrefslogtreecommitdiffstats
path: root/src/map/scl/sclTime.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-08-30 11:10:02 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-08-30 11:10:02 -0700
commit6dd270d41f8ac2d0bb56e099fa296b4d0b242811 (patch)
tree1f6d42fa3402fa9ec32f55c6292155d06f4c4e23 /src/map/scl/sclTime.c
parentc84f26c9b1c769f80749f6a1e1e499f7a27c3f95 (diff)
downloadabc-6dd270d41f8ac2d0bb56e099fa296b4d0b242811.tar.gz
abc-6dd270d41f8ac2d0bb56e099fa296b4d0b242811.tar.bz2
abc-6dd270d41f8ac2d0bb56e099fa296b4d0b242811.zip
Improvements to gate-sizing.
Diffstat (limited to 'src/map/scl/sclTime.c')
-rw-r--r--src/map/scl/sclTime.c15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c
index 4d62866b..350281f4 100644
--- a/src/map/scl/sclTime.c
+++ b/src/map/scl/sclTime.c
@@ -70,21 +70,6 @@ Abc_Obj_t * Abc_SclFindMostCriticalFanin( SC_Man * p, int * pfRise, Abc_Obj_t *
}
return pPivot;
}
-Vec_Int_t * Abc_SclFindCriticalPath( SC_Man * p )
-{
- int fRise = 0;
- Abc_Obj_t * pPivot = Abc_SclFindCriticalCo( p, &fRise );
- Vec_Int_t * vPath = Vec_IntAlloc( 100 );
- Vec_IntPush( vPath, Abc_ObjId(pPivot) );
- pPivot = Abc_ObjFanin0(pPivot);
- while ( pPivot && Abc_ObjIsNode(pPivot) )
- {
- Vec_IntPush( vPath, Abc_ObjId(pPivot) );
- pPivot = Abc_SclFindMostCriticalFanin( p, &fRise, pPivot );
- }
- Vec_IntReverseOrder( vPath );
- return vPath;
-}
/**Function*************************************************************