The X

3种文件使用V的扩展名

.V

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

V(Coq Source Code File)相关软件:

Windows

1个软件

Mac

1个软件

Linux

1个软件

发送 E10153 至公众号 IT小技巧 查看软件名称。
.V

Subsampled Raw YUV Image

分类:光栅图像文件
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.

说明:

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.

V(Subsampled Raw YUV Image)相关软件:

Windows

2个软件

Mac

2个软件

Linux

1个软件

发送 E10154 至公众号 IT小技巧 查看软件名称。
.V

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

V(Verilog Source Code File)相关软件:

Windows

8个软件

Mac

3个软件

Linux

1个软件

发送 E10152 至公众号 IT小技巧 查看软件名称。