Tests: Add unsupported test for specparam (#5767).
This commit is contained in:
parent
2455d15271
commit
6c46c4f6f7
|
|
@ -0,0 +1,4 @@
|
||||||
|
%Error: t/t_specparam_unsup.v:16:8: Can't find definition of variable: 'tdevice_PU'
|
||||||
|
16 | #tdevice_PU PoweredUp = 1'b1;
|
||||||
|
| ^~~~~~~~~~
|
||||||
|
%Error: Exiting due to
|
||||||
|
|
@ -0,0 +1,16 @@
|
||||||
|
#!/usr/bin/env python3
|
||||||
|
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
|
||||||
|
#
|
||||||
|
# Copyright 2024 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.
|
||||||
|
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
|
||||||
|
|
||||||
|
import vltest_bootstrap
|
||||||
|
|
||||||
|
test.scenarios('vlt')
|
||||||
|
|
||||||
|
test.lint(fails=True, expect_filename=test.golden_filename)
|
||||||
|
|
||||||
|
test.passes()
|
||||||
|
|
@ -0,0 +1,18 @@
|
||||||
|
// DESCRIPTION: Verilator: Verilog Test module
|
||||||
|
//
|
||||||
|
// This file ONLY is placed under the Creative Commons Public Domain, for
|
||||||
|
// any use, without warranty, 2025 by Wilson Snyder.
|
||||||
|
// SPDX-License-Identifier: CC0-1.0
|
||||||
|
|
||||||
|
// FIXME
|
||||||
|
|
||||||
|
module t ();
|
||||||
|
reg PoweredUp;
|
||||||
|
specify
|
||||||
|
specparam tdevice_PU = 3e8;
|
||||||
|
endspecify
|
||||||
|
initial begin
|
||||||
|
PoweredUp = 1'b0;
|
||||||
|
#tdevice_PU PoweredUp = 1'b1;
|
||||||
|
end
|
||||||
|
endmodule
|
||||||
Loading…
Reference in New Issue