[ImportVerilog] Qualifiers unique/unique0/priority are ignored
- Dominant language
- C++
- Stars
- 2.2k
- Forks
- 524
- Avg merge
- 3d 2h
- Merged PRs (30d)
- 46
Description
sv-tests §[12.4.2](https://chipsalliance.github.io/sv-tests-results/?v=circt_verilog+12.4.2+priority_if) and §[12.5.3](https://chipsalliance.github.io/sv-tests-results/?v=circt_verilog+12.5.3+priority_case).
As stated in the title, qualifiers are ignored in the generated Moore IR.
These qualifiers are used to perform violation checks during simulation and provide optimization opportunities for synthesis.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start in the ImportVerilog handling for SystemVerilog qualifiers and compare the generated Moore IR with the sv-tests cases linked for sections 12.4.2 and 12.5.3. Determine how unique, unique0, and priority are represented or checked, then verify that the relevant priority_if and priority_case cases no longer report ignored qualifiers.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100