The X

3种文件使用V的扩展名

.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小技巧 查看软件名称。
.V

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小技巧 查看软件名称。
.V

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小技巧 查看软件名称。