mirror of
https://github.com/myhdl/myhdl.git
synced 2024-12-14 07:44:38 +08:00
27 lines
260 B
Coq
27 lines
260 B
Coq
|
module tb_Inc;
|
||
|
|
||
|
wire [7:0] count;
|
||
|
reg enable;
|
||
|
reg clock;
|
||
|
reg reset;
|
||
|
|
||
|
initial begin
|
||
|
$from_myhdl(
|
||
|
enable,
|
||
|
clock,
|
||
|
reset
|
||
|
);
|
||
|
$to_myhdl(
|
||
|
count
|
||
|
);
|
||
|
end
|
||
|
|
||
|
Inc dut(
|
||
|
count,
|
||
|
enable,
|
||
|
clock,
|
||
|
reset
|
||
|
);
|
||
|
|
||
|
endmodule
|