Contente
- Arquivo Tipo 1Verilog Source Code File
- Texto
- O que é um arquivo V?
- Tipo de arquivo 2Submitido Imagem YUV Raw
- Binário
- .V File Association 2
- Tipo de Arquivo 3Coq Source Code File
- Texto
- .V File Association 3
- Sobre arquivos V
Arquivo Tipo 1Verilog Source Code File
O que é um arquivo V?
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. Mais informações
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 do SystemVerilog possuem 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 ++.
DOWNLOAD GRATUITO Abra e visualize arquivos .V com o File Viewer Plus. Programas que abrem arquivos V| janelas |
|
| Mac |
|
| Linux |
|
Tipo de arquivo 2Submitido Imagem YUV Raw
.V File Association 2
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. Mais Informações
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 do netpbm.
Programas que abrem arquivos V| janelas |
|
| Mac |
|
| Linux |
|
Tipo de Arquivo 3Coq Source Code File
.V File Association 3
Arquivo de desenvolvedor usado pelo Coq, um aplicativo usado para desenvolver provas matemáticas; salvo em um 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. Mais Informações
Os desenvolvedores especificam expressões em arquivos V usando o "vernáculo" Gallina, que é a sintaxe ou a linguagem dos comandos para a linguagem Gallina. Uma vez que os arquivos V são gravados, eles podem ser compilados e executados com o Coq Proof Assistant IDE, que possui o nome do programa CoqIDE.
NOTA: O desenvolvimento para a Coq, que anteriormente era mantido pela The Coq Development Team, agora é mantido pela ADT Coq. ADT significa "Ação para o Desenvolvimento Tecnológico".
Programas que abrem arquivos V| janelas |
|
| Mac |
|
| Linux |
|
Sobre arquivos V
Nosso objetivo é ajudá-lo a entender o que é um arquivo com o sufixo * .v e como abri-lo.
Todos os tipos de arquivo, descrições de formato de arquivo e programas de software listados nesta página foram pesquisados e verificados individualmente pela equipe do FileInfo. Nós nos esforçamos para 100% de precisão e publicamos apenas informações sobre formatos de arquivo que testamos e validamos.
Se você gostaria de sugerir quaisquer adições ou atualizações para esta página, por favor nos avise.
