TY  - RPRT
TI  - FormalRTL: Verified RTL Synthesis at Scale
AU  - Kezhi Li
AU  - Min Li
AU  - Xiangyu Wen
AU  - Shibo Zhao
AU  - Jieying Wu
AU  - Junhua Huang
AU  - Qiang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2603.08738
ID  - 2603.08738
ER  -