A Survey on LLM-Integrated Hardware Design Verification

Hao Zheng, Jaime Rafael Imperial, Bardia Nadimi +1

Large language models (LLMs) are increasingly being integrated into hardware verification to automate specification interpretation, verification-artifact generation, debugging, for…