3种文件使用V的扩展名
Coq Source Code File
分类：开发人员文件
Coq使用的开发人员文件，用于开发数学证明的应用程序；以文本格式保存，包含用Gallina语言构造的源代码，该语言基于一种称为归纳结构演算（CIC）的表达形式语言；用于存储数学证明。
说明：
开发人员在.V 文件中使用Gallina“本地语言”指定表达式，这是Gallina语言的语法或命令语言。一旦编写了.V 个文件，就可以使用coqproof Assistant IDE编译并运行它们，该IDE的程序名为CoqIDE。
注：Coq的开发，以前由Coq开发团队维护，现在由ADT Coq维护。ADT代表“技术发展行动”
V(Coq Source Code File)相关软件：
Windows
1个软件
Mac
1个软件
Linux
1个软件
发送 E10153 至公众号 IT小技巧 查看软件名称。
Subsampled Raw YUV Image
分类：光栅图像文件
原始.V 图像文件由ppmtoyuvsplit创建，这是一个基于Unix的程序，用于将便携式PixMap图像（.PPM 文件）拆分为.Y、.U和.V 文件；存储图像的.V 色度或颜色分量；可以使用yuvsplittoppm实用程序还原回原始的PPM文件。
说明：
.V
文件以Stanford MPEG编解码器所需的格式存储图像数据。
注意：yuvsplittoppm和ppmtoyuvsplit命令行实用程序是基于netpbm Unix的图形包的一部分。
V(Subsampled Raw YUV Image)相关软件：
Windows
2个软件
Mac
2个软件
Linux
1个软件
发送 E10154 至公众号 IT小技巧 查看软件名称。
Verilog Source Code File
分类：开发人员文件
文件扩展名为.V 的文件可以是用Verilog硬件描述语言（HDL）编写的源代码文件。它规定了一个电子系统的模型。.V 文件通常包含Verilog 2005源代码，但也可能使用较旧的Verilog标准之一，如Verilog-95或Verilog 2001。
说明：
verilog2005已经被SystemVerilog取代，它在以前的标准基础上构建，但是增加了新的设计建模特性。SystemVerilog源文件具有.SV 文件扩展名。
注意：Verilog源文件以纯文本格式保存，可以在文本编辑器（如Notepad++）中打开。
V(Verilog Source Code File)相关软件：
Windows
8个软件
Mac
3个软件
Linux
1个软件
发送 E10152 至公众号 IT小技巧 查看软件名称。