33 lines
904 B
Coq
33 lines
904 B
Coq
|
`timescale 10ns/10ns
|
||
|
module vgasquare_tb;
|
||
|
|
||
|
// Make reset high
|
||
|
reg reset = 1;
|
||
|
initial begin
|
||
|
$dumpfile("vgasquare_tb.vcd");
|
||
|
$dumpvars;//(pixel_clk, pixel_clk, O_VGA_ACTIVE,O_VGA_HS, O_VGA_VS);
|
||
|
#10000000 $finish;
|
||
|
end
|
||
|
|
||
|
|
||
|
//Make our pixel clock
|
||
|
reg pixel_clk = 0;
|
||
|
always #2 pixel_clk = !pixel_clk;
|
||
|
|
||
|
wire O_VGA_ACTIVE;
|
||
|
wire O_VGA_HS;
|
||
|
wire O_VGA_VS;
|
||
|
|
||
|
vgasquare display (
|
||
|
.PIXEL_CLK(pixel_clk), // Pixel clock: 25Mhz (or 25.125MHz) for VGA
|
||
|
.RST_BTN(reset), // reset button
|
||
|
.box_x1(10'd120),
|
||
|
.box_x2(10'd520),
|
||
|
.box_y1(9'd120),
|
||
|
.box_y2(9'd360),
|
||
|
.box_color(6'b111000), //1 bit for each color Foreground and background
|
||
|
.VGA_ACTIVE(O_VGA_ACTIVE),
|
||
|
.VGA_HS(O_VGA_HS), // horizontal sync output
|
||
|
.VGA_VS(O_VGA_VS) // vertical sync output
|
||
|
);
|
||
|
endmodule // test
|