mirror of
https://github.com/verilator/verilator.git
synced 2025-01-09 16:17:36 +00:00
43 lines
869 B
Coq
43 lines
869 B
Coq
|
// DESCRIPTION: Verilator: Verilog Test module
|
||
|
//
|
||
|
// Copyright 2010 by Wilson Snyder. This program is free software; you can
|
||
|
// redistribute it and/or modify it under the terms of either the GNU
|
||
|
// Lesser General Public License Version 3 or the Perl Artistic License
|
||
|
// Version 2.0.
|
||
|
|
||
|
`ifdef VERILATOR
|
||
|
//We call it via $c so we can verify DPI isn't required - see bug572
|
||
|
`else
|
||
|
import "DPI-C" context function integer mon_check();
|
||
|
`endif
|
||
|
|
||
|
module t (/*AUTOARG*/
|
||
|
// Inputs
|
||
|
clk
|
||
|
);
|
||
|
|
||
|
`ifdef VERILATOR
|
||
|
`systemc_header
|
||
|
extern "C" int mon_check();
|
||
|
`verilog
|
||
|
`endif
|
||
|
|
||
|
input clk;
|
||
|
|
||
|
reg onebit /*verilator public_flat_rw @(posedge clk) */;
|
||
|
|
||
|
integer status;
|
||
|
|
||
|
// Test loop
|
||
|
initial begin
|
||
|
`ifdef VERILATOR
|
||
|
status = $c32("mon_check()");
|
||
|
`else
|
||
|
status = mon_check();
|
||
|
`endif
|
||
|
$write("*-* All Finished *-*\n");
|
||
|
$finish;
|
||
|
end
|
||
|
|
||
|
endmodule : t
|