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

Verilog to C translator

Application domain/field

• Verilog
• Hardware circuits
• Translation

Type of tool

Translator

Expected input

Register Transfer Level (RTL) description of a hardware circuit

Format:

Verilog Hardware Description Language

Expected output

C program, also called a software netlist.

Internals

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