mirror of
https://github.com/Qortal/Brooklyn.git
synced 2025-02-07 06:44:18 +00:00
30 lines
437 B
Coq
30 lines
437 B
Coq
|
`include "settings.h"
|
||
|
|
||
|
module ARM_TB;
|
||
|
parameter clock_period = `CLOCK_PERIOD;
|
||
|
|
||
|
reg clk;
|
||
|
reg rst;
|
||
|
reg enableForwarding;
|
||
|
|
||
|
|
||
|
ARM CPU(
|
||
|
.clk(clk),
|
||
|
.rst(rst),
|
||
|
.enableForwarding(enableForwarding)
|
||
|
);
|
||
|
|
||
|
initial begin
|
||
|
clk = 0;
|
||
|
forever clk = #clock_period ~clk;
|
||
|
end
|
||
|
|
||
|
initial begin
|
||
|
enableForwarding = 1;
|
||
|
rst = 1;
|
||
|
# (clock_period / 2);
|
||
|
rst = 0;
|
||
|
# (1000*clock_period);
|
||
|
$stop;
|
||
|
end
|
||
|
endmodule
|