yosys4gal/testcases/test.v

21 lines
213 B
Coq
Raw Permalink Normal View History

2024-03-18 05:06:49 +00:00
module test (
input clk,
output reg [0:7] counter
);
always @ (posedge clk) begin
2024-03-18 07:12:59 +00:00
counter <= counter + 1;
2024-03-18 05:06:49 +00:00
end
endmodule
/*module test (
input [1:0] a, b,
output [2:0] y
);
assign y = a + b;
endmodule*/