Home : File Types : V File (3 File Associations)

.V File Extension

Windows user? Open any file with File Viewer Lite

File Type 1Verilog Source Code File

DeveloperAccellera
Popularity
4.0 (6 Votes) Thanks for voting!
Rare Uncommon Average Common Very Common
CategoryDeveloper Files
FormatText

Text

This file is saved in a plain text format. You can open and view the contents of this file using a text editor.

Definition

Source code file written in the Verilog hardware description language (HDL); most commonly contains Verilog 2005 source code, but may also use one of the other Verilog standards, which include Verilog-95, Verilog 2001, and SystemVerilog; used for specifying models of electronic systems.

Program(s) that open .V files
Updated 9/30/2010

File Type 2Subsampled Raw YUV Image

DeveloperN/A
Popularity
3.3 (3 Votes) Thanks for voting!
Rare Uncommon Average Common Very Common
CategoryRaster Image Files
FormatBinary

Binary

This file is saved in a binary format, which requires a specific program to read its contents.

Definition

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.

Program(s) that open .V files
Microsoft Windows LogoWindows
Microsoft Windows Media Player with YUV Genius package
Apple QuickTime Player with QuickTime YUV codec
Mac OS X LogoMac OS
Apple QuickTime Player with QuickTime YUV codec
Linux LogoLinux
yuvsplittoppm
ppmtoyuvsplit
Updated 5/26/2010

File Type 3Coq Source Code File

DeveloperADT Coq
Popularity
2.8 (4 Votes) Thanks for voting!
Rare Uncommon Average Common Very Common
CategoryDeveloper Files
FormatText

Text

This file is saved in a plain text format. You can open and view the contents of this file using a text editor.

Definition

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

Program(s) that open .V files
Microsoft Windows LogoWindows
CoqIDE
Mac OS X LogoMac OS
CoqIDE
Linux LogoLinux
CoqIDE
Updated 12/6/2010