TY  - RPRT
TI  - AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
AU  - Xiaofeng Zhou
AU  - Linfeng Du
AU  - Guangyu Hu
AU  - Sharad Sinha
AU  - Hongce Zhang
AU  - Wei Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2604.22285
ID  - 2604.22285
ER  -