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