PV2 v2ctranslates a Register Transfer Level hardware circuit description into a C program

Verilog to C translator

Application domain/field

Type of tool


Expected input

Register Transfer Level (RTL) description of a hardware circuit


Verilog Hardware Description Language

Expected output

C program, also called a software netlist.


By translating a hardware circuit into a C program, allows you to use software verification techniques such as abstract interpretation and symbolic execution.


Project page: https://www.cprover.org/hardware/v2c/

Related papers

v2c – A Verilog to C Translator (TACAS '16)

Last publication date

9 April 2016

Related tools

ProVerB specific

Markdown description: view/edit

ProVerB is a part of SLEBoK. Last updated: February 2023.