aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/mux_map.v
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-06-21 18:12:33 -0700
committerEddie Hung <eddie@fpgeh.com>2019-06-21 18:12:33 -0700
commitbbf3ad90f59a5b548d263c81ca83ca8f93f1c238 (patch)
tree190f7375567dda3297fc07f9e9b91633aecbecec /techlibs/xilinx/mux_map.v
parent39e0e006d5a6b1ae45d95d75895284e3c48f47d7 (diff)
downloadyosys-bbf3ad90f59a5b548d263c81ca83ca8f93f1c238.tar.gz
yosys-bbf3ad90f59a5b548d263c81ca83ca8f93f1c238.tar.bz2
yosys-bbf3ad90f59a5b548d263c81ca83ca8f93f1c238.zip
Remove $_MUX4_ techmap rule
Diffstat (limited to 'techlibs/xilinx/mux_map.v')
-rw-r--r--techlibs/xilinx/mux_map.v11
1 files changed, 0 insertions, 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