Block level DV check #13
Description
I'm checking block-level DV for the blocks integrated from OpenTitan into Sunburst chip and making sure that the pass rate is similar under VCS and Xcelium:
- Aon timer see: Block level DV check #13 (comment)
- GPIO see: Block level DV check #13 (comment)
- I2C timeouts on Xcelium #42
- Pattgen see: Block level DV check #13 (comment)
- PWM see: Block level DV check #13 (comment)
- RV PLIC: formal only https://opentitan.org/book/hw/top_earlgrey/ip_autogen/rv_plic/doc/dv/index.html
- RV timer see: Block level DV check #13 (comment)
- SPI host see: Block level DV check #13 (comment)
- UART see: Block level DV check #13 (comment)
- USB device block-level DV #54
Some more blocks that don't have block-level DV (yet):
- CHERIoT Ibex
- CHERIoT hardware revoker
- CHERIoT-enabled debug module
- Sonata revocation control