TY  - RPRT
TI  - Fully Automated Verification Framework for Configurable IPs: From Requirements to Results
AU  - Shuhang Zhang
AU  - Jelena Radulovic
AU  - Thorsten Dworzak
PY  - 2025
UR  - https://arxiv.org/abs/2510.15902
ID  - 2510.15902
ER  -