mirror of https://github.com/zachjs/sv2v.git
10 lines
174 B
Coq
10 lines
174 B
Coq
|
module top;
|
||
|
|
parameter width = 5;
|
||
|
|
input [width-1:0] i;
|
||
|
|
output [width-1:0] o;
|
||
|
|
assign o = i + 1'b1;
|
||
|
|
initial begin
|
||
|
|
$display(width);
|
||
|
|
end
|
||
|
|
endmodule
|