[dv/keymgr] Zero coverage of anchored netlist constants
Nobody has claimed this yet.
- Dominant language
- SystemVerilog
- Stars
- 3.6k
- Forks
- 1.1k
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 141
Description
### Description
In IP-level `keymgr` coverage, for the instantiation of `u_seed_anchor` both line and score metrics are 0%.
The inputs of this anchor primitive are netlist constants, so maybe this is causing the issue:
https://github.com/lowRISC/opentitan/blob/04969982572fd460516479bd89ab8c5b3af56ead/hw/ip/keymgr/rtl/keymgr.sv#L100-L123
The coverage essentially says that continuous assignments at lines 15 and 16 are never reached:
https://github.com/lowRISC/opentitan/blob/04969982572fd460516479bd89ab8c5b3af56ead/hw/ip/prim_generic/rtl/prim_generic_buf.sv#L15-L16
cc: @cindychip
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by inspecting the u_seed_anchor instantiation in hw/ip/keymgr/rtl/keymgr.sv at lines 100-123 and the continuous assignments in hw/ip/prim_generic/rtl/prim_generic_buf.sv at lines 15-16. Review the IP-level keymgr coverage report and determine why the anchored netlist constants produce zero line and score coverage. Done means the cause is addressed and the affected coverage no longer reports zero.
Written by the indexing model from the issue text.
Assessment
- Domain
- embedded-iot, testing-qa
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100