From bbf3ad90f59a5b548d263c81ca83ca8f93f1c238 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 21 Jun 2019 18:12:33 -0700
Subject: [PATCH] Remove $_MUX4_ techmap rule

---
 techlibs/xilinx/mux_map.v | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/techlibs/xilinx/mux_map.v b/techlibs/xilinx/mux_map.v
index c47da155d..e28070359 100644
--- a/techlibs/xilinx/mux_map.v
+++ b/techlibs/xilinx/mux_map.v
@@ -69,14 +69,3 @@ module \$shiftx (A, B, Y);
     end
   endgenerate
 endmodule
-
-// FIXME: This rule exists only because we can't block muxcover
-//        from using MUX4s -- if we disable MUX4 it will use MUX8s
-//        instead
-
-module \$_MUX4_ (A, B, C, D, S, T, Y);
-input A, B, C, D, S, T;
-output Y;
-assign Y = T ? (S ? D : C) :
-               (S ? B : A);
-endmodule
-- 
2.30.2