.V File Extension

There are 2 file types use the .V file extension:

  1. Verilog Source Code File
  2. Coq Source Code File

1. Verilog Source Code File

Verilog Source Code File

A file with a V file extension may be a source code file written in the Verilog hardware description language (HDL). It specifies a model of an electronic system. V files typically contain Verilog 2005 source code, but they may also use one of the older Verilog standards, such as Verilog-95 or Verilog 2001.

Verilog 2005 has been superseded by SystemVerilog, which builds off the previous standard but adds new design modeling features. SystemVerilog source files have an .SV file extension.

NOTE: Verilog source files are saved in a plain text format and can be opened in a text editor such as Notepad++.

Software's name License Platforms
Cadence Design Systems Incisive Cadence Design Systems Incisive Paid Windows
File Viewer Plus File Viewer Plus Free Trial Windows
Icarus Verilog Icarus Verilog Free LinuxMacWindows
Mentor Graphics ModelSim Mentor Graphics ModelSim Free Trial LinuxWindows
Notepad++ Notepad++ Freeware Windows
SYNAPTICAD VeriLogger Extreme SYNAPTICAD VeriLogger Extreme Free Trial Windows
Verilog 2005 parser Verilog 2005 parser Free LinuxWindows
Xilinx ISE Design Suite Xilinx ISE Design Suite Commercial LinuxWindows

Updated: February 21, 2019

2. Coq Source Code File

Coq Source Code File

Developer file used by Coq, an application used to develop mathematical proofs; saved in a text format and contains source code constructed in the Gallina language, which is based on an expressive formal language called Calculus of Inductive Constructions (CIC); used for storing mathematical proofs.

Developers specify expressions in V files using the Gallina "vernacular," which is the syntax, or language of commands, for the Gallina language. Once V files are written, they can be compiled and run with the Coq Proof Assistant IDE, which has the program name CoqIDE.

NOTE: Development for Coq, which was previously maintained by The Coq Development Team, is now maintained by ADT Coq. ADT stands for "Action for Technological Development."

Software's name License Platforms
CoqIDE CoqIDE Free LinuxMacWindows

Updated: March 3, 2011

Search File Extensions