TY  - RPRT
TI  - Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware
AU  - Jianan Mu
AU  - Mingyu Shi
AU  - Yining Wang
AU  - Tianmeng Yang
AU  - Bin Sun
AU  - Xing Hu
AU  - Jing Ye
AU  - Huawei Li
PY  - 2025
UR  - https://arxiv.org/abs/2510.08664
ID  - 2510.08664
ER  -