9 lines
99 B
Coq
9 lines
99 B
Coq
|
module multiplexer(A,B,X,out1);
|
||
|
|
input A,B,X;
|
||
|
|
output out1;
|
||
|
|
|
||
|
|
assign out1 = (~X&A)|(B&X);
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
|