diff options
| author | whitequark <whitequark@whitequark.org> | 2021-03-07 05:48:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-07 05:48:03 -0800 |
| commit | 9bb839c613aff1d7658eac8ec46c3dcd3b220c5f (patch) | |
| tree | 1a78ba758840c0d74ea2f1a3ac8b55778e7e4f4b /tests/verilog/param_no_default.ys | |
| parent | 72ae15c77c34fe2306c3ac41c40521e9141b8cf0 (diff) | |
| parent | d738b2c1272b02d8799e9feda83b1eae8ba10c07 (diff) | |
| download | yosys-9bb839c613aff1d7658eac8ec46c3dcd3b220c5f.tar.gz yosys-9bb839c613aff1d7658eac8ec46c3dcd3b220c5f.tar.bz2 yosys-9bb839c613aff1d7658eac8ec46c3dcd3b220c5f.zip | |
Merge pull request #2626 from zachjs/param-no-default
sv: support for parameters without default values
Diffstat (limited to 'tests/verilog/param_no_default.ys')
| -rw-r--r-- | tests/verilog/param_no_default.ys | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/verilog/param_no_default.ys b/tests/verilog/param_no_default.ys new file mode 100644 index 000000000..7f161a909 --- /dev/null +++ b/tests/verilog/param_no_default.ys @@ -0,0 +1,7 @@ +read_verilog -sv param_no_default.sv +hierarchy +proc +flatten +opt -full +select -module top +sat -verify -seq 1 -tempinduct -prove-asserts -show-all |