DAVE: Deriving Automatically Verilog from English

08/27/2020
by   Hammond Pearce, et al.
0

While specifications for digital systems are provided in natural language, engineers undertake significant efforts to translate them into the programming languages understood by compilers for digital systems. Automating this process allows designers to work with the language in which they are most comfortable –the original natural language – and focus instead on other downstream design challenges. We explore the use of state-of-the-art machine learning (ML) to automatically derive Verilog snippets from English via fine-tuning GPT-2, a natural language ML system. We describe our approach for producing a suitable dataset of novice-level digital design tasks and provide a detailed exploration of GPT-2, finding encouraging translation performance across our task sets (94.8 tasks.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/23/2022

Using natural language prompts for machine translation

We explore the use of natural language prompts for controlling various a...
research
03/16/2022

MCoNaLa: A Benchmark for Code Generation from Multiple Natural Languages

While there has been a recent burgeoning of applications at the intersec...
research
10/27/2022

The Effect of Normalization for Bi-directional Amharic-English Neural Machine Translation

Machine translation (MT) is one of the main tasks in natural language pr...
research
04/30/2020

Use of Machine Translation to Obtain Labeled Datasets for Resource-Constrained Languages

The large annotated datasets in NLP are overwhelmingly in English. This ...
research
06/22/2022

Functional or imperative? On pleasant semantics for differentiable programming languages

In machine learning (ML), researchers and engineers seem to be at odds. ...
research
02/08/2022

Towards Property-Based Tests in Natural Language

We consider a new approach to generate tests from natural language. Rath...
research
05/22/2023

Chip-Chat: Challenges and Opportunities in Conversational Hardware Design

Modern hardware design starts with specifications provided in natural la...

Please sign up or login with your details

Forgot password? Click here to reset