.V 文件扩展名
- 1.Verilog源代码文件
- 2.二次采样的原始YUV图像
- 3.Coq源代码文件
档案类型1Verilog源代码文件
什么是V文件？
带有V文件扩展名的文件可能是 源代码 用Verilog硬件描述语言（HDL）编写的文件。 它指定了电子系统的模型。 V文件通常包含Verilog 2005源代码，但它们也可以使用较早的Verilog标准之一，例如Verilog-95或Verilog 2001。
Verilog 2005已被SystemVerilog取代，后者以以前的标准为基础，但增加了新的设计建模功能。 SystemVerilog源文件有一个 .SV 文件扩展名。
注意NOTE: Verilog源文件以纯文本格式保存，可以在文本编辑器（如Notepad ++）中打开。
| Windows |
|
| Mac |
|
| Linux的 |
|
档案类型2二次采样的原始YUV图像
.V文件关联2
由ppmtoyuvsplit创建的原始“ V”图像文件，ppmtoyuvsplit是基于Unix的用于拆分可移植PixMap图像的程序（.PPM 文件）到 .Y, .U和V文件； 存储图像的“ V”色度或颜色分量； 可以使用yuvsplittoppm实用程序恢复为原始PPM文件。
V文件以斯坦福MPEG编解码器所需的格式存储图像数据。
注意NOTE: yuvsplittoppm和ppmtoyuvsplit命令行实用程序是基于Unix的netpbm图形软件包的一部分。
| Windows |
|
| Mac |
|
| Linux的 |
|
档案类型3Coq源代码文件
.V文件关联3
Coq使用的开发人员文件，用于开发数学证明的应用程序； 以文本格式保存，并包含以Gallina语言构造的源代码，该语言基于称为归纳构造微积分（CIC）的表达形式语言； 用于存储数学证明。
开发人员使用Gallina“ vernacular”（即Gallina语言的语法或命令语言）在V文件中指定表达式。 写入V文件后，即可使用Coq Proof Assistant对其进行编译和运行 IDE，其程序名称为CoqIDE。
注意NOTE: Coq的开发以前由The Coq开发团队维护，现在由ADT Coq维护。 ADT代表“技术发展行动”。