19 lines
435 B
Coq
19 lines
435 B
Coq
|
// SPDX-License-Identifier: AGPL-3.0-Only
|
||
|
|
/*
|
||
|
|
* Copyright (C) 2022 Sean Anderson <seanga2@gmail.com>
|
||
|
|
*/
|
||
|
|
|
||
|
|
module iverilog_dump();
|
||
|
|
integer levels;
|
||
|
|
reg [4096:0] vcdfile, sdffile;
|
||
|
|
initial begin
|
||
|
|
if ($value$plusargs("vcd=%s", vcdfile) &&
|
||
|
|
$value$plusargs("levels=%d", levels)) begin
|
||
|
|
$dumpfile(vcdfile);
|
||
|
|
$dumpvars(levels, `TOP);
|
||
|
|
end
|
||
|
|
if ($value$plusargs("sdf=%s", sdffile))
|
||
|
|
$sdf_annotate(sdffile, `TOP);
|
||
|
|
end
|
||
|
|
endmodule
|