arxivcs.ARcs.PL2026-07-25
VClare: Resolving Imperfect Specifications in LLM-Based Verilog Generation
Zhuorui Zhao, Bing Li, Yu Li, Zheyu Yan, Ulf Schlichtmann
Large language models (LLMs) have demonstrated promising capabilities in generating Verilog code from natural language specifications. However, human-written specifications often contain semantic imperfections such as vagueness, contradictions, and incompleteness, which can signi…