diff options
| author | whitequark <whitequark@whitequark.org> | 2021-03-12 01:34:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-12 01:34:06 +0000 |
| commit | 396ad17e06a7b5fa912180540206a6560b54101f (patch) | |
| tree | 0cacec7d21e9162d776ec2b9cd0d3369e0f65504 /tests/verilog | |
| parent | feff32914bfeefbc7e02cc73639ce3d7ae44d331 (diff) | |
| parent | cb9f3b6abfbc769589e5e5ceb2497955a155065c (diff) | |
| download | yosys-396ad17e06a7b5fa912180540206a6560b54101f.tar.gz yosys-396ad17e06a7b5fa912180540206a6560b54101f.tar.bz2 yosys-396ad17e06a7b5fa912180540206a6560b54101f.zip | |
Merge pull request #2653 from zachjs/global-parameter
verilog: disallow overriding global parameters
Diffstat (limited to 'tests/verilog')
| -rw-r--r-- | tests/verilog/global_parameter.ys | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/verilog/global_parameter.ys b/tests/verilog/global_parameter.ys new file mode 100644 index 000000000..a7a3cddc7 --- /dev/null +++ b/tests/verilog/global_parameter.ys @@ -0,0 +1,16 @@ +read_verilog -sv <<EOF +parameter P = 1; +module example( + output integer out +); + assign out = P; +endmodule +module top( + output integer out +); + example #(2) e1(out); +endmodule +EOF + +logger -expect error "Can't find object for defparam" 1 +hierarchy |