diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-27 15:23:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-27 15:23:06 -0700 |
| commit | e3eea01dbb4c64d84b5ac46c92a9df55093cd7e0 (patch) | |
| tree | 601cc227792766e6335c451c9ec25e56e92bd38f /src/base | |
| parent | d49bb366547f58a6320a570ef2a8f0f2a1d208da (diff) | |
| download | abc-e3eea01dbb4c64d84b5ac46c92a9df55093cd7e0.tar.gz abc-e3eea01dbb4c64d84b5ac46c92a9df55093cd7e0.tar.bz2 abc-e3eea01dbb4c64d84b5ac46c92a9df55093cd7e0.zip | |
Bug fix in &nf and in propagating timing info.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcNtk.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c index 1b38f157..19d6ef79 100644 --- a/src/base/abc/abcNtk.c +++ b/src/base/abc/abcNtk.c @@ -155,7 +155,7 @@ Abc_Ntk_t * Abc_NtkStartFrom( Abc_Ntk_t * pNtk, Abc_NtkType_t Type, Abc_NtkFunc_ if ( pNtk->AndGateDelay != 0.0 && pNtk->pManTime != NULL && pNtk->ntkType != ABC_NTK_STRASH && Type == ABC_NTK_STRASH ) { Abc_NtkForEachCi( pNtk, pObj, i ) - pObj->pCopy->Level = (int)(Abc_NodeReadArrivalAve(pObj) / pNtk->AndGateDelay); + pObj->pCopy->Level = (int)(Abc_MaxFloat(0, Abc_NodeReadArrivalWorst(pObj)) / pNtk->AndGateDelay); } // check that the CI/CO/latches are copied correctly assert( Abc_NtkCiNum(pNtk) == Abc_NtkCiNum(pNtkNew) ); @@ -232,7 +232,7 @@ Abc_Ntk_t * Abc_NtkStartFromWithLatches( Abc_Ntk_t * pNtk, Abc_NtkType_t Type, A if ( pNtk->AndGateDelay != 0.0 && pNtk->pManTime != NULL && pNtk->ntkType != ABC_NTK_STRASH && Type == ABC_NTK_STRASH ) { Abc_NtkForEachCi( pNtk, pObj, i ) - pObj->pCopy->Level = (int)(Abc_NodeReadArrivalAve(pObj) / pNtk->AndGateDelay); + pObj->pCopy->Level = (int)(Abc_MaxFloat(0, Abc_NodeReadArrivalWorst(pObj)) / pNtk->AndGateDelay); } // check that the CI/CO/latches are copied correctly assert( Abc_NtkCiNum(pNtk) == Abc_NtkCiNum(pNtkNew) ); |