Wen Bing

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

This work proposes SpecLens, an automated framework for LLM-based Verilog generation that derives specification-driven constraints by analyzing behavioral divergence among multiple candidate implementations, using the original specification as the only external semantic source during generation.