@@ -117,6 +117,8 @@ public class DeviceResourcesWriter {
117117 private static DelayEstimatorBase delayEstimator ;
118118 private static DelayModel intrasiteAndLogicDelayModel ;
119119
120+ private static final float ONE_PICOSECOND = 1e-12f ;
121+
120122 public static void populateSiteEnumerations (SiteInst siteInst , Site site ) {
121123 if (!siteTypes .containsKey (siteInst .getSiteTypeEnum ())) {
122124 if (site .getSiteTypeEnum () != siteInst .getSiteTypeEnum ()) {
@@ -662,7 +664,7 @@ public static void writeAllSiteTypesToBuilder(Design design, Device device, Devi
662664 if (delayPs != null && delayPs > 0 ) {
663665 DeviceResources .Device .CornerModel .Builder delayBuilder = spBuilder .initDelay ();
664666 DeviceResources .Device .CornerModelValues .Builder slowBuilder = delayBuilder .initSlow ().initSlow ();
665- slowBuilder .initMax ().setMax (delayPs * 1e-12f );
667+ slowBuilder .initMax ().setMax (delayPs * ONE_PICOSECOND );
666668 }
667669 }
668670 }
@@ -855,7 +857,7 @@ public static Map<TileTypeEnum, Integer> writeAllTileTypesToBuilder(Design desig
855857 DeviceResources .Device .PIPTiming .Builder timingBuilder = pipTimingsBuilder .get (index );
856858 DeviceResources .Device .CornerModel .Builder delayBuilder = timingBuilder .initInternalDelay ();
857859 DeviceResources .Device .CornerModelValues .Builder slowBuilder = delayBuilder .initSlow ().initSlow ();
858- slowBuilder .initMax ().setMax (slowMaxDelayPs * 1e-12f );
860+ slowBuilder .initMax ().setMax (slowMaxDelayPs * ONE_PICOSECOND );
859861 }
860862
861863 return tileTypeIndicies ;
@@ -961,7 +963,7 @@ public static void writeAllWiresAndNodesToBuilder(Device device, DeviceResources
961963 DeviceResources .Device .CornerModelValues .Builder resBuilder = timingBuilder .initResistance ().initSlow ().initSlow ();
962964 resBuilder .initMax ().setMax (slowMaxDelayPs );
963965 DeviceResources .Device .CornerModelValues .Builder capBuilder = timingBuilder .initCapacitance ().initSlow ().initSlow ();
964- capBuilder .initMax ().setMax (1e-12f );
966+ capBuilder .initMax ().setMax (ONE_PICOSECOND );
965967 }
966968 }
967969 private static void populatePackages (StringEnumerator allStrings , Device device , DeviceResources .Device .Builder devBuilder ) {
0 commit comments