diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-06 10:31:59 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-06 10:31:59 +0700 |
| commit | c0c7723f1da0436935dff848caf012e467e055df (patch) | |
| tree | 1ccdca9b8ef2e78f89a3b6dc445a0bbeeb0c451f | |
| parent | 85b33df1e133b478ee5d1cd28bc9e055e8f62cf0 (diff) | |
| download | abc-c0c7723f1da0436935dff848caf012e467e055df.tar.gz abc-c0c7723f1da0436935dff848caf012e467e055df.tar.bz2 abc-c0c7723f1da0436935dff848caf012e467e055df.zip | |
Allow timing manager to be started when a default is set.
| -rw-r--r-- | src/base/abci/abcTiming.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index be0030e4..b5a66899 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -242,8 +242,8 @@ void Abc_NtkTimeSetRequired( Abc_Ntk_t * pNtk, int ObjId, float Rise, float Fall ***********************************************************************/ void Abc_NtkTimeSetDefaultInputDrive( Abc_Ntk_t * pNtk, float Rise, float Fall ) { - if ( Rise == 0.0 && Fall == 0.0 ) - return; +// if ( Rise == 0.0 && Fall == 0.0 ) +// return; if ( pNtk->pManTime == NULL ) pNtk->pManTime = Abc_ManTimeStart(pNtk); pNtk->pManTime->tInDriveDef.Rise = Rise; @@ -258,8 +258,8 @@ void Abc_NtkTimeSetDefaultInputDrive( Abc_Ntk_t * pNtk, float Rise, float Fall ) } void Abc_NtkTimeSetDefaultOutputLoad( Abc_Ntk_t * pNtk, float Rise, float Fall ) { - if ( Rise == 0.0 && Fall == 0.0 ) - return; +// if ( Rise == 0.0 && Fall == 0.0 ) +// return; if ( pNtk->pManTime == NULL ) pNtk->pManTime = Abc_ManTimeStart(pNtk); pNtk->pManTime->tOutLoadDef.Rise = Rise; |