mirror of https://github.com/YosysHQ/yosys.git
18 lines
235 B
Coq
18 lines
235 B
Coq
|
module top (
|
||
|
|
out,
|
||
|
|
clk,
|
||
|
|
reset
|
||
|
|
);
|
||
|
|
output [7:0] out;
|
||
|
|
input clk, reset;
|
||
|
|
reg [7:0] out;
|
||
|
|
|
||
|
|
always @(posedge clk, posedge reset)
|
||
|
|
if (reset) begin
|
||
|
|
out <= 8'b0 ;
|
||
|
|
end else
|
||
|
|
out <= out + 1;
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|