15 lines
154 B
Coq
15 lines
154 B
Coq
|
module adder(
|
||
|
|
input[7:0] a,
|
||
|
|
input[7:0] b,
|
||
|
|
input sub,
|
||
|
|
input en,
|
||
|
|
output[7:0] bus);
|
||
|
|
|
||
|
|
assign bus =
|
||
|
|
(en) ?
|
||
|
|
((sub) ? a-b : a+b) :
|
||
|
|
8'bz;
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
|