Author

Xiangfei Kong

h-index 0 View on Semantic Scholar

We have 2 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Review Oct 2026

A Survey on LLM-Integrated Hardware Design Verification

Large language models (LLMs) are increasingly being integrated into hardware verification to automate specification interpretation, verification-artifact generation, debugging, formal reasoning, and tool orchestration. This survey provides a systematic review of LLM-assisted hardware functional verification across Syst...

Hao Zheng, Jaime Rafael Imperial, Bardia Nadimi et al. · 0 citations

Jul 2026

A Progressive Approach to Synthesizable RTL Design Generation Using LLMs

VeriRefine progressively refines the prose specification into an explicit, schema-constrained account of design intent, expressed as per-signal Abstract Signal Transition Functions (ASTFs) that commit each signal's logic style, clock domain, and reset behavior before any code exists and ground every behavior in a verba...

Xiangfei Kong, Tasnim Tabassum, Marwan Abdelwahab et al. · arXiv.org · 0 citations