TY  - RPRT
TI  - Automated Formal Verification of a Highly-Configurable Register Generator
AU  - Shuhang Zhang
AU  - Bryan Olmos
AU  - Basavaraj Naik
PY  - 2024
UR  - https://arxiv.org/abs/2410.15479
ID  - 2410.15479
ER  -