mirror of
https://github.com/verilator/verilator.git
synced 2025-01-10 00:27:35 +00:00
84 lines
1.8 KiB
Coq
84 lines
1.8 KiB
Coq
|
// $Id$
|
||
|
|
// DESCRIPTION: Verilator: Verilog Test module
|
||
|
|
//
|
||
|
|
// This file ONLY is placed into the Public Domain, for any use,
|
||
|
|
// without warranty, 2003 by Wilson Snyder.
|
||
|
|
|
||
|
|
module t_extend (/*AUTOARG*/
|
||
|
|
// Outputs
|
||
|
|
passed,
|
||
|
|
// Inputs
|
||
|
|
clk
|
||
|
|
);
|
||
|
|
|
||
|
|
/*verilator public_module*/
|
||
|
|
|
||
|
|
input clk;
|
||
|
|
output passed; reg passed; initial passed = 0;
|
||
|
|
// No verilator_public needed, because it's outside the "" in the $c statement
|
||
|
|
reg [7:0] cyc; initial cyc=0;
|
||
|
|
reg c_worked;
|
||
|
|
reg [8:0] c_wider;
|
||
|
|
|
||
|
|
wire one = 1'b1;
|
||
|
|
|
||
|
|
always @ (posedge clk) begin
|
||
|
|
cyc <= cyc+8'd1;
|
||
|
|
|
||
|
|
// coverage testing
|
||
|
|
if (one) begin end
|
||
|
|
if (!one) begin end
|
||
|
|
if (cyc[0]) begin end if (!cyc[0]) begin end // multiple on a line
|
||
|
|
|
||
|
|
if (cyc == 8'd1) begin
|
||
|
|
c_worked <= 0;
|
||
|
|
end
|
||
|
|
if (cyc == 8'd2) begin
|
||
|
|
`ifdef verilator
|
||
|
|
$c("cout<<\"Calling $c, calling $c...\"<<endl;");
|
||
|
|
$c("cout<<\"Cyc=\"<<dec<<(int)(",cyc,")<<endl;");
|
||
|
|
c_worked <= $c("my_function()");
|
||
|
|
c_wider <= $c9("0x10");
|
||
|
|
`else
|
||
|
|
c_worked <= 1'b1;
|
||
|
|
c_wider <= 9'h10;
|
||
|
|
`endif
|
||
|
|
end
|
||
|
|
if (cyc == 8'd3) begin
|
||
|
|
if (c_worked !== 1'b1) $stop;
|
||
|
|
if (c_wider !== 9'h10) $stop;
|
||
|
|
$write("[%0t] t_extend: Passed\n",$time);
|
||
|
|
passed <= 1'b1;
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
`ifdef verilator
|
||
|
|
`systemc_header
|
||
|
|
#define DID_INT_HEADER 1
|
||
|
|
`systemc_interface
|
||
|
|
#ifndef DID_INT_HEADER
|
||
|
|
#error "`systemc_header didn't work"
|
||
|
|
#endif
|
||
|
|
bool m_did_ctor;
|
||
|
|
uint32_t my_function() {
|
||
|
|
if (!m_did_ctor) vl_fatal(__FILE__,__LINE__,__FILE__,"`systemc_ctor didn't work");
|
||
|
|
return 1;
|
||
|
|
}
|
||
|
|
`systemc_imp_header
|
||
|
|
#define DID_IMP_HEADER 1
|
||
|
|
`systemc_implementation
|
||
|
|
#ifndef DID_IMP_HEADER
|
||
|
|
#error "`systemc_imp_header didn't work"
|
||
|
|
#endif
|
||
|
|
`systemc_ctor
|
||
|
|
m_did_ctor = 1;
|
||
|
|
`verilog
|
||
|
|
`endif
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
// Local Variables:
|
||
|
|
// compile-command: "./vlint __FILE__"
|
||
|
|
// End:
|