.V Estensione file

3 tipi di file usano l'estensione .v .

• 1. File di codice sorgente di Verilog
• 2. Immagine YUV raw sottocampionata
• 3. File di codice sorgente Coq

File di tipo 1 File di codice sorgente di Verilog

Cos'è un file V?

Un file con estensione V può essere un file di codice sorgente scritto nel linguaggio di descrizione dell'hardware VerilogCategoriaFile di immagini rasterFormatoBinario X

Binario

Questo file viene salvato in un formato binario, che richiede un programma specifico per leggerne il contenuto.

.V File Association 2

Raw "V" file immagine creato da ppmtoyuvsplit, un programma basato su Unix utilizzato per dividere le immagini Portable PixMapCategoriaFile di sviluppoFormatoTesto X

Testo

Questo file viene salvato in un formato di testo normale. È possibile aprire e visualizzare il contenuto di questo file utilizzando un editor di testo.

.V File Association 3

File di sviluppo utilizzato da Coq, un'applicazione utilizzata per sviluppare prove matematiche; salvato in un formato di testo e contiene codice sorgente costruito in lingua Gallina, che si basa su un linguaggio formale espressivo chiamato Calculus of Inductive Constructions (CIC); usato per memorizzare prove matematiche. Maggiori informazioni

Gli sviluppatori specificano espressioni in file V usando il "vernacolo" Gallina, che è la sintassi, o linguaggio dei comandi, per la lingua Gallina. Una volta scritti i file V, questi possono essere compilati ed eseguiti con l'IDE Coq Proof Assistant, che ha il nome del programma CoqIDE.

NOTA: lo sviluppo di Coq, precedentemente gestito da The Coq Development Team, è ora gestito da ADT Coq. ADT sta per "Action for Technological Development".

Programmi che aprono file V