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