From c0c7723f1da0436935dff848caf012e467e055df Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 6 Apr 2015 10:31:59 +0700 Subject: Allow timing manager to be started when a default is set. --- src/base/abci/abcTiming.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src') 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; -- cgit v1.2.3