From ac3817caa7dfc8a3e41d563184d4db308ded656c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 27 Mar 2015 10:15:51 +0700 Subject: Small bug in user timing computation. --- src/base/abci/abcTiming.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index d535bc05..a40f625e 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -98,7 +98,7 @@ float Abc_NodeReadArrivalWorst( Abc_Obj_t * pNode ) } float Abc_NodeReadRequiredWorst( Abc_Obj_t * pNode ) { - return Abc_MaxFloat( Abc_NodeReadRequired(pNode)->Rise, Abc_NodeReadRequired(pNode)->Fall ); + return Abc_MinFloat( Abc_NodeReadRequired(pNode)->Rise, Abc_NodeReadRequired(pNode)->Fall ); } /**Function************************************************************* -- cgit v1.2.3