File con estensione .v
Tipo di file 1Verilog Source Code File
| Sviluppatore | Accellera |
| Categoria | File di sviluppo |
| Formato | Text |
.V numero opzione 1
Un file con estensione V può essere un file di codice sorgente scritto nel linguaggio di descrizione dell'hardware Verilog (HDL). Specifica un modello di un sistema elettronico. I file V contengono in genere il codice sorgente di Verilog 2005, ma possono anche utilizzare uno degli standard Verilog precedenti, come Verilog-95 o Verilog 2001.
Verilog 2005 è stato sostituito da SystemVerilog, che si basa sullo standard precedente ma aggiunge nuove funzionalità di modellazione del design. I file di origine SystemVerilog hanno un'estensione di file .SV .
NOTA: i file di origine Verilog vengono salvati in un formato di testo normale e possono essere aperti in un editor di testo come Notepad ++.
Tipo di file 2Subsampled Raw YUV Image
| Sviluppatore | N/A |
| Categoria | File di immagini raster |
| Formato | Binary |
.V numero opzione 2
File di immagine "V" non elaborato creato da ppmtoyuvsplit, un programma basato su Unix utilizzato per dividere le immagini Portable PixMap (file .PPM ) in .Y , .U e file V; memorizza la crominanza "V", o colore, componente per l'immagine; può essere ripristinato nel file PPM originale usando l'utility yuvsplittoppm.
I file V memorizzano i dati dell'immagine in un formato richiesto dal codec MPEG di Stanford.
NOTA: le utility da riga di comando yuvsplittoppm e ppmtoyuvsplit fanno parte del pacchetto grafico basato su Unix netpbm.
| Windows |
|
| Linux |
|
Tipo di file 3Coq Source Code File
| Sviluppatore | ADT Coq |
| Categoria | File di sviluppo |
| Formato | Text |
.V numero opzione 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.
Gli sviluppatori specificano espressioni in file V usando il "vernacolo" Gallina, che è la sintassi, o linguaggio dei comandi, per il linguaggio Gallina. Una volta scritti, i file V possono essere compilati ed eseguiti con l'IDE di 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."
| Linux |
|