3 tipos de arquivos usam a extensão .v .
- 1. Verilog Source Code File
- 2. Imagem RAU Subamostrada
- 3. Arquivo de Código-Fonte Coq
Arquivo Tipo 1 Arquivo de Código Fonte Verilog
Desenvolvedor | Accellera |
Popularidade | 3, 5 |
Categoria | Arquivos de desenvolvedor |
Formato | Texto X TextoEste arquivo é salvo em um formato de texto simples. Você pode abrir e visualizar o conteúdo deste arquivo usando um editor de texto. |
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
Binário
Este arquivo é salvo em um formato binário, que requer um programa específico para ler seu conteúdo.
.V File Association 2
Arquivo de imagem Raw "V" criado por ppmtoyuvsplit, um programa baseado em Unix usado para dividir imagens Portable PixMap
Texto
Este arquivo é salvo em um formato de texto simples. Você pode abrir e visualizar o conteúdo deste arquivo usando um editor de texto.
.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, anteriormente 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 |
|