.v Extensão de arquivo

Um arquivo com uma extensão de arquivo V pode ser um arquivo de código-fonte escrito na linguagem de descrição de hardware da Verilog (HDL). Especifica um modelo de um sistema eletrônico. Os arquivos V normalmente contêm o código-fonte do Verilog 2005, mas eles também podem usar um dos mais antigos padrões Verilog, como o Verilog-95 ou o Verilog 2001.

O Verilog 2005 foi substituído pelo SystemVerilog, que se baseia no padrão anterior, mas adiciona novos recursos de modelagem de projeto. Os arquivos de origem SystemVerilog têm uma extensão de arquivo .SV .

NOTA: Os arquivos de origem Verilog são salvos em um formato de texto simples e podem ser abertos em um editor de texto como o Notepad ++.

Windows

Xilinx ISE Design Suite Icarus Verilog Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme

Linux

Xilinx ISE Design Suite Mentor Graphics ModelSim Verilog 2005 parser

Arquivo de imagem Raw "V" criado por ppmtoyuvsplit, um programa baseado em Unix usado para dividir imagens Portable PixMap (arquivos .PPM ) em arquivos .Y , .U e V; armazena o componente de crominância "V", ou cor, para a imagem; pode ser restaurado de volta ao arquivo PPM original usando o utilitário yuvsplittoppm.

Os arquivos V armazenam dados de imagem em um formato exigido pelo codec MPEG de Stanford.

NOTA: Os utilitários de linha de comando yuvsplittoppm e ppmtoyuvsplit fazem parte do pacote gráfico baseado em Unix netpbm. / p>

Windows

Microsoft Windows Media Player

Linux

ppmtoyuvsplit yuvsplittoppm

Arquivo de desenvolvedor usado pelo Coq, um aplicativo usado para desenvolver provas matemáticas; salvo em formato de texto e contém código fonte construído na linguagem Gallina, que é baseado em uma linguagem formal expressiva chamada Cálculo de Construções Indutivas (CIC); usado para armazenar provas matemáticas.

Desenvolvedores especificam expressões em arquivos V usando o "vernáculo" Gallina, que é a sintaxe, ou linguagem de comandos, para a linguagem Gallina. Uma vez que os arquivos V são escritos, eles podem ser compilados e executados com o Coq Proof Assistant IDE, que possui o nome do programa CoqIDE.

NOTA: O desenvolvimento para Coq, que anteriormente era mantido pelo The Coq Development Team, é agora mantido pela ADT Coq. ADT significa "Ação para o Desenvolvimento Tecnológico".

Linux

CoqIDE