14 lines
304 B
Coq
14 lines
304 B
Coq
|
module counter(out, clk, reset);
|
||
|
|
parameter WIDTH = 8;
|
||
|
|
output [WIDTH-1:0] out;
|
||
|
|
input clk, reset;
|
||
|
|
reg [WIDTH-1: 0] out;
|
||
|
|
wire clk, reset;
|
||
|
|
|
||
|
|
always @(posedge clk or posedge reset) begin
|
||
|
|
if (reset)
|
||
|
|
out <= 0;
|
||
|
|
else
|
||
|
|
out <= out + 1;
|
||
|
|
end
|
||
|
|
endmodule
|