Added optimization for average rather than maximum delay.

src/map/if/ifTime.c

@@ -363,9 +363,17 @@ void If_ManComputeRequired( If_Man_t * p )
             // set the required times for the POs
             if ( p->pPars->fDoAverage )
             {
+                if ( p->pPars->nRelaxRatio )
+                {
+                    If_ManForEachCo( p, pObj, i )
+                        If_ObjFanin0(pObj)->Required = If_ObjArrTime(If_ObjFanin0(pObj)) * (100.0 + p->pPars->nRelaxRatio) / 100.0;
+                }
+                else
+                {
                     If_ManForEachCo( p, pObj, i )
                         If_ObjFanin0(pObj)->Required = If_ObjArrTime(If_ObjFanin0(pObj));
                 }
+            }
             else if ( p->pPars->fLatchPaths )
             {
                 If_ManForEachLatchInput( p, pObj, i )
@@ -443,9 +451,17 @@ void If_ManComputeRequired( If_Man_t * p )
         }
         else if ( p->pPars->fDoAverage )
         {
+            if ( p->pPars->nRelaxRatio )
+            {
+                If_ManForEachCo( p, pObj, i )
+                    Tim_ManSetCoRequired( p->pManTim, i, If_ObjArrTime(If_ObjFanin0(pObj)) * (100.0 + p->pPars->nRelaxRatio) / 100.0 );
+            }
+            else
+            {
                 If_ManForEachCo( p, pObj, i )
                     Tim_ManSetCoRequired( p->pManTim, i, If_ObjArrTime(If_ObjFanin0(pObj)) );
             }
+        }
         else if ( p->pPars->fLatchPaths )
         {
             If_ManForEachPo( p, pObj, i )