TY  - RPRT
TI  - SpecLens: LLM-Based Verilog Generation with Specification-Derived Constraints via Behavioral Divergence
AU  - Wen Bing
AU  - Bing Li
PY  - 2026
UR  - https://arxiv.org/abs/2609.16729
ID  - 2609.16729
ER  -