SpecLens: LLM-Based Verilog Generation with Specification-Derived Constraints via Behavioral Divergence

Wen Bing, Bing Li

Large language models (LLMs) have recently shown promise in Verilog generation, but producing functionally correct RTL directly from natural-language specifications remains a highl…