TY  - RPRT
TI  - Accelerating Hardware Verification with Graph Models
AU  - Raghul Saravanan
AU  - Sreenitha Kasarapu
AU  - Sai Manoj Pudukotai Dinakarrao
PY  - 2025
UR  - https://arxiv.org/abs/2412.13374
ID  - 2412.13374
ER  -