diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 17:27:53 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 17:27:53 +0700 |
| commit | c6af9094c092170b14d735097cdf805b90105287 (patch) | |
| tree | 7cad398e7cc88aa2e07fd8a0856a3e25b1333c0f /src/map/if/ifSeq.c | |
| parent | 38214f01c20227cfca6617c4b2ac55e090ec47fa (diff) | |
| download | abc-c6af9094c092170b14d735097cdf805b90105287.tar.gz abc-c6af9094c092170b14d735097cdf805b90105287.tar.bz2 abc-c6af9094c092170b14d735097cdf805b90105287.zip | |
Changing 'if' to allow for delay optimization on sequential paths only.
Diffstat (limited to 'src/map/if/ifSeq.c')
| -rw-r--r-- | src/map/if/ifSeq.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map/if/ifSeq.c b/src/map/if/ifSeq.c index eaa33e92..6cfb5131 100644 --- a/src/map/if/ifSeq.c +++ b/src/map/if/ifSeq.c @@ -50,7 +50,7 @@ void If_ManPrepareMappingSeq( If_Man_t * p ) int i; // link the latch outputs (CIs) directly to the drivers of latch inputs (COs) - for ( i = 0; i < p->pPars->nLatches; i++ ) + for ( i = 0; i < p->pPars->nLatchesCi; i++ ) { pObjLi = If_ManLi( p, i ); pObjLo = If_ManLo( p, i ); @@ -98,13 +98,13 @@ Vec_Ptr_t * If_ManCollectLatches( If_Man_t * p ) If_Obj_t * pObj; int i; // collect latches - vLatches = Vec_PtrAlloc( p->pPars->nLatches ); + vLatches = Vec_PtrAlloc( p->pPars->nLatchesCi ); If_ManForEachLatchOutput( p, pObj, i ) If_ManCollectLatches_rec( pObj, vLatches ); // clean marks Vec_PtrForEachEntry( If_Obj_t *, vLatches, pObj, i ) pObj->fMark = 0; - assert( Vec_PtrSize(vLatches) == p->pPars->nLatches ); + assert( Vec_PtrSize(vLatches) == p->pPars->nLatchesCi ); return vLatches; } |