diff options
| author | Zachary Snow <zach@zachjs.com> | 2021-03-02 10:43:53 -0500 |
|---|---|---|
| committer | Zachary Snow <zach@zachjs.com> | 2021-03-02 10:43:53 -0500 |
| commit | d738b2c1272b02d8799e9feda83b1eae8ba10c07 (patch) | |
| tree | 5edd76126d7c9969f3dfd695e7fad415d364fec9 /tests/verilog/param_no_default.ys | |
| parent | 375af199ef4df45ccf02c66e0171b4282c6cf1eb (diff) | |
| download | yosys-d738b2c1272b02d8799e9feda83b1eae8ba10c07.tar.gz yosys-d738b2c1272b02d8799e9feda83b1eae8ba10c07.tar.bz2 yosys-d738b2c1272b02d8799e9feda83b1eae8ba10c07.zip | |
sv: support for parameters without default values
- Modules with a parameter without a default value will be automatically
deferred until the hierarchy pass
- Allows for parameters without defaults as module items, rather than
just int the `parameter_port_list`, despite being forbidden in the LRM
- Check for parameters without defaults that haven't been overriden
- Add location info to parameter/localparam declarations
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 |