Since muxcover uses MUX4s, blast them back to gates here

diff --git a/techlibs/xilinx/mux_map.v b/techlibs/xilinx/mux_map.v
index 6ad83a4887bc8dbeca3ae442943b0a34eb76954f..b7ff6ca90f55ef72412bf2550ddf748394801fca 100644 (file)
--- a/techlibs/xilinx/mux_map.v
+++ b/techlibs/xilinx/mux_map.v
@@ -84,3 +84,10 @@ module \$shiftx (A, B, Y);
     end
   endgenerate
 endmodule
+
+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