A Deep Learning Framework for Verilog Autocompletion Towards Design and Verification Automation
Enrique Dehaerne, Bappaditya Dey, Sandip Halder, Stefan De, Gendt

TL;DR
This paper introduces a deep learning framework for Verilog autocompletion, utilizing pretrained models and a curated dataset to improve code prediction accuracy, aiming to automate and accelerate digital circuit design and verification.
Contribution
The paper presents a novel framework combining pretrained models and fine-tuning on a Verilog dataset, significantly enhancing autocompletion performance over training from scratch.
Findings
Achieved 9.5% higher BLEU score
Improved ROUGE-L by 6.7%
Enhanced chrF score by 6.9%
Abstract
Innovative Electronic Design Automation (EDA) solutions are important to meet the design requirements for increasingly complex electronic devices. Verilog, a hardware description language, is widely used for the design and verification of digital circuits and is synthesized using specific EDA tools. However, writing code is a repetitive and time-intensive task. This paper proposes, primarily, a novel deep learning framework for training a Verilog autocompletion model and, secondarily, a Verilog dataset of files and snippets obtained from open-source repositories. The framework involves integrating models pretrained on general programming language data and finetuning them on a dataset curated to be similar to a target downstream task. This is validated by comparing different pretrained models trained on different subsets of the proposed Verilog dataset using multiple evaluation metrics.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemiconductor materials and devices · Ferroelectric and Negative Capacitance Devices · VLSI and Analog Circuit Testing
