Search papers, labs, and topics across Lattice.
VerilogCL, a contrastive learning framework, is introduced to improve LLM-based Verilog code generation by explicitly distinguishing between correct and erroneous RTL. It uses minimal-error data augmentation to create paired training samples and contrastive learning to improve the separation between valid and invalid code in the representation space. A proactive screening module filters low-confidence candidates during generation, leading to state-of-the-art performance on VerilogEval and RTLLM benchmarks.
LLMs can now generate Verilog code with significantly higher compilation success and functional correctness, outperforming specialized and commercial tools, thanks to a novel contrastive learning approach.
Large Language Models (LLMs) have recently achieved strong performance in software code generation. However, applying them to hardware description languages (HDLs), such as Verilog, remains challenging because high-quality training data are relatively scarce. In practice, LLM-generated Verilog often contains syntactic or structural errors that either cause compilation failures or produce functionally incorrect designs, which limit its reliability in hardware design workflows. In this work, we propose VerilogCL, an integrated framework that enhances Verilog code generation by explicitly learning the boundary between correct and erroneous RTL through contrastive learning and proactive error screening. Our approach introduces minimal-error data augmentation, generating paired training samples of correct RTL and minimally perturbed erroneous RTL to teach the model to recognize fine-grained distinctions between correct and erroneous code. We then apply contrastive learning to learn a clearer validity boundary in the representation space, improving the separation between correct and erroneous RTL code. In addition, we introduce a proactive screening module that combines semantic embeddings with token-level uncertainty features to filter low-confidence candidates during generation. Experiments on public benchmarks, including VerilogEval and RTLLM, show that our 7B-parameter model outperforms the evaluated open-source, Verilog-specialized, and commercial baselines in both compilation success rate and functional correctness.
