English

A Deep Learning Framework for Verilog Autocompletion Towards Design and Verification Automation

Machine Learning 2023-06-08 v2 Software Engineering

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. These experiments demonstrate that the proposed framework achieves better BLEU, ROUGE-L, and chrF scores by 9.5%, 6.7%, and 6.9%, respectively, compared to a model trained from scratch. Code and data are made available at: https://github.com/99EnriqueD/verilog_autocompletion .

Keywords

Cite

@article{arxiv.2304.13840,
  title  = {A Deep Learning Framework for Verilog Autocompletion Towards Design and Verification Automation},
  author = {Enrique Dehaerne and Bappaditya Dey and Sandip Halder and Stefan De Gendt},
  journal= {arXiv preprint arXiv:2304.13840},
  year   = {2023}
}

Comments

Updated text to correct language errors and added a link to supplementary code and data (https://github.com/99EnriqueD/verilog_autocompletion). 6 pages, 3 figures, 4 tables. To be presented as a WIP poster at DAC 2023

R2 v1 2026-06-28T10:19:06.621Z