.V File Extension

.V File Extension

File Type 1

Verilog Source Code File

Developer Accellera
Popularity
3.5  |  37 Votes
Category Developer Files
Format Text

What is a V 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.

More Information

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++.

Open and view .V files with File Viewer Plus.Free Download

Programs that open or reference V files

Updated November 27, 2018
File Type 2

Coq Source Code File

Developer ADT Coq
Popularity
3.6  |  12 Votes
Category Developer Files
Format Text

What is a V 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.

More Information

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."

Programs that open or reference V files

Windows
Free
Mac
Free
Linux
Free
Updated December 6, 2010
File Type 3

Subsampled Raw YUV Image

Developer N/A
Popularity
3.2  |  10 Votes
Category Raster Image Files
Format Binary

What is a V file?

Raw "V" image file created by ppmtoyuvsplit, a Unix-based program used to split Portable PixMap images (.PPM files) into .Y, .U, and V files; stores the "V" chrominance, or color, component for the image; may be restored back to the original PPM file using the yuvsplittoppm utility.

More Information

V files store image data in a format required by the Stanford MPEG codec.

NOTE: The yuvsplittoppm and ppmtoyuvsplit command-line utilities are part of the netpbm Unix-based graphics package.

Programs that open V files

Updated May 26, 2010

Verified by FileInfo.com

The FileInfo.com team has independently researched all file formats and software programs listed on this page. Our goal is 100% accuracy and we only publish information about file types that we have verified.

If you would like to suggest any additions or updates to this page, please let us know.