mirror of
https://github.com/YosysHQ/yosys
synced 2025-06-07 06:33:24 +00:00
9770ece187
Add support to the "read_verilog -sv" parser to validate the
"unique", "unique0", and "priority" keywords in contexts where
they're legal according to 1800-2012 12.4.2.
This affects only the grammar accepted; the behaviour of conditionals
is not changed. (But accepting this syntax will provide scope for
possible optimisations as future work.)
Three test cases ("unique_if", "unique_if_else", and
"unique_if_else_begin") verify that the keywords are accepted where
legal and rejected where illegal, as described in the final paragraph
of 12.4.2.
|
||
|---|---|---|
| .. | ||
| _downloads | ||
| _images | ||
| _static | ||
| appendix | ||
| cell | ||
| code_examples | ||
| getting_started | ||
| using_yosys | ||
| yosys_internals | ||
| bib.rst | ||
| cell_index.rst | ||
| cmd_ref.rst | ||
| conf.py | ||
| index.rst | ||
| introduction.rst | ||
| literature.bib | ||
| requirements.txt | ||