From aa1eeda567d09e2d2ffd40cd008d0166d2910273 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 24 Jun 2019 11:51:55 -0700
Subject: Modify costs for muxcover

---
 techlibs/xilinx/synth_xilinx.cc | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'techlibs/xilinx/synth_xilinx.cc')

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 2cf28fce1..a84f54e99 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -282,7 +282,21 @@ struct SynthXilinxPass : public ScriptPass
 					// NB: Cost of mux2 is 100; mux8 should cost between 3 and 4
 					//     of those so that 4:1 muxes and below are implemented
 					//     out of mux2s
-					std::string muxcover_args = " -dmux=0 -mux8=350 -mux16=400";
+					std::string muxcover_args = " -dmux=0";
+					switch (minmuxf) {
+						case  5: muxcover_args += " -mux8=350 -mux16=400"; break;
+						case  6: muxcover_args += " -mux8=450 -mux16=500"; break;
+						case  7: muxcover_args += " -mux8=550 -mux16=600"; break;
+						case  8: muxcover_args += " -mux8=650 -mux16=700"; break;
+						case  9: muxcover_args += " -mux16=750"; break;
+						case 10: muxcover_args += " -mux16=850"; break;
+						case 11: muxcover_args += " -mux16=950"; break;
+						case 12: muxcover_args += " -mux16=1050"; break;
+						case 13: muxcover_args += " -mux16=1150"; break;
+						case 14: muxcover_args += " -mux16=1250"; break;
+						case 15: muxcover_args += " -mux16=1350"; break;
+						default: muxcover_args += " -mux16=1450"; break;
+					}
 					run("muxcover " + muxcover_args, "('-minmuxf' only)");
 				}
 			}
-- 
cgit v1.2.3