diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-22 16:23:57 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-22 16:23:57 -0700 |
| commit | d61bedc627ca78f3afcea2ac599ac0e6791f0274 (patch) | |
| tree | f85e194ccfaeadb1932adb6bda4289a4dadfcd07 /src/base/abci/abcTiming.c | |
| parent | cfebcae1259295092e1083647f708993d129aef2 (diff) | |
| download | abc-d61bedc627ca78f3afcea2ac599ac0e6791f0274.tar.gz abc-d61bedc627ca78f3afcea2ac599ac0e6791f0274.tar.bz2 abc-d61bedc627ca78f3afcea2ac599ac0e6791f0274.zip | |
Adding API to return the mapped network.
Diffstat (limited to 'src/base/abci/abcTiming.c')
| -rw-r--r-- | src/base/abci/abcTiming.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 50d2a9b7..bfd9ac44 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -343,7 +343,7 @@ void Abc_NtkTimeInitialize( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkOld ) pTime = ppTimes[pObj->Id]; if ( Abc_MaxFloat(pTime->Fall, pTime->Rise) != -ABC_INFINITY ) continue; - *pTime = pNtkOld ? *Abc_NodeReadArrival(Abc_NtkPi(pNtkOld, i)) : pNtk->pManTime->tArrDef; + *pTime = pNtkOld ? *Abc_NodeReadArrival(Abc_NtkCi(pNtkOld, i)) : pNtk->pManTime->tArrDef; } // set the default timing ppTimes = (Abc_Time_t **)pNtk->pManTime->vReqs->pArray; @@ -352,7 +352,7 @@ void Abc_NtkTimeInitialize( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkOld ) pTime = ppTimes[pObj->Id]; if ( Abc_MaxFloat(pTime->Fall, pTime->Rise) != ABC_INFINITY ) continue; - *pTime = pNtkOld ? *Abc_NodeReadRequired(Abc_NtkPo(pNtkOld, i)) : pNtk->pManTime->tReqDef; + *pTime = pNtkOld ? *Abc_NodeReadRequired(Abc_NtkCo(pNtkOld, i)) : pNtk->pManTime->tReqDef; } // set the 0 arrival times for latch outputs and constant nodes ppTimes = (Abc_Time_t **)pNtk->pManTime->vArrs->pArray; |