From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 21 Jun 2019 18:13:01 +0000 (-0700)
Subject: Since muxcover uses MUX4s, blast them back to gates here
X-Git-Tag: working-ls180~1208^2~116
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c6b4653ebe83fc5bacaeb92fe7c63a8d52bd523e;p=yosys.git

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 6ad83a488..b7ff6ca90 100644
--- 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