Small bug in user timing computation.

ac3817ca · Alan Mishchenko · 3370feea · ac3817ca
Commit ac3817ca authored Mar 27, 2015 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abci/abcTiming.c
+1 -1

No files found.
--- 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*************************************************************