There are 2 file types use the .V file extension:
1. 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++.
Updated: February 21, 2019
2. 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."
Updated: March 3, 2011