riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Since muxcover uses MUX4s, blast them back to gates here

This commit is contained in:
Eddie Hung 2019-06-21 11:13:01 -07:00
parent dd22edcd28
commit c6b4653ebe
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
techlibs/xilinx/mux_map.v
View File

@ -84,3 +84,10 @@ module \$shiftx (A, B, Y);
end end
endgenerate endgenerate
endmodule 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