mirror of
https://github.com/sxpert/hp-saturn
synced 2025-01-13 20:01:10 +01:00
49 lines
1.1 KiB
Coq
49 lines
1.1 KiB
Coq
|
/*
|
||
|
|
(c) Raphaël Jacquot 2019
|
||
|
|
|
||
|
|
This file is part of hp_saturn.
|
||
|
|
|
||
|
|
hp_saturn is free software: you can redistribute it and/or modify
|
||
|
|
it under the terms of the GNU General Public License as published by
|
||
|
|
the Free Software Foundation, either version 3 of the License, or
|
||
|
|
any later version.
|
||
|
|
|
||
|
|
hp_saturn is distributed in the hope that it will be useful,
|
||
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
|
|
GNU General Public License for more details.
|
||
|
|
|
||
|
|
You should have received a copy of the GNU General Public License
|
||
|
|
along with Foobar. If not, see <https://www.gnu.org/licenses/>.
|
||
|
|
|
||
|
|
*/
|
||
|
|
|
||
|
|
`default_nettype none //
|
||
|
|
|
||
|
|
`ifdef SIM
|
||
|
|
module saturn_top;
|
||
|
|
|
||
|
|
saturn_bus main_bus (
|
||
|
|
.i_clk (clk),
|
||
|
|
.i_reset (reset),
|
||
|
|
.o_halt (halt)
|
||
|
|
);
|
||
|
|
|
||
|
|
reg [0:0] clk;
|
||
|
|
reg [0:0] reset;
|
||
|
|
wire [0:0] halt;
|
||
|
|
|
||
|
|
initial begin
|
||
|
|
$display("starting the simulation");
|
||
|
|
clk <= 0;
|
||
|
|
reset <= 1;
|
||
|
|
@(posedge clk);
|
||
|
|
@(posedge clk);
|
||
|
|
@(posedge clk);
|
||
|
|
reset <= 0;
|
||
|
|
@(posedge halt);
|
||
|
|
$finish;
|
||
|
|
end
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
`endif
|