diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 23:42:06 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 23:42:06 -0400 |
| commit | ec298486b6eb3d14398c5eb1edadc1d5ed564bf2 (patch) | |
| tree | 0edd7c90536cbe4028adc8eba78c4d5de80e4645 /src/aig/gia/giaUtil.c | |
| parent | 34366b8aca94b80051de58291ef853d292827f1d (diff) | |
| download | abc-ec298486b6eb3d14398c5eb1edadc1d5ed564bf2.tar.gz abc-ec298486b6eb3d14398c5eb1edadc1d5ed564bf2.tar.bz2 abc-ec298486b6eb3d14398c5eb1edadc1d5ed564bf2.zip | |
False path detection.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index f3edca36..34bda9bb 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -621,6 +621,30 @@ Vec_Int_t * Gia_ManRequiredLevel( Gia_Man_t * p ) /**Function************************************************************* + Synopsis [Compute slacks measured using the number of AIG levels.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Int_t * Gia_ManComputeSlacks( Gia_Man_t * p ) +{ + Gia_Obj_t * pObj; + int i, nLevels = Gia_ManLevelNum( p ); + Vec_Int_t * vLevelR = Gia_ManReverseLevel( p ); + Vec_Int_t * vSlacks = Vec_IntAlloc( Gia_ManObjNum(p) ); + Gia_ManForEachObj( p, pObj, i ) + Vec_IntPush( vSlacks, nLevels - Gia_ObjLevelId(p, i) - Vec_IntEntry(vLevelR, i) ); + assert( Vec_IntSize(vSlacks) == Gia_ManObjNum(p) ); + Vec_IntFree( vLevelR ); + return vSlacks; +} + +/**Function************************************************************* + Synopsis [Assigns levels.] Description [] |