Contenuto

• File Type 1Verilog File del codice sorgente
• Testo
• Cos'è un file V?
• Tipo file 2 Immagine YUV raw sottoposta a campionamento
• Binario
• .V File Association 2
• File Tipo File di codice sorgente 3Coq
• Testo
• .V File Association 3
• Informazioni su V Files

File Type 1Verilog File del codice sorgente

Sviluppatore	Accellera
Popolarità	3,6 (25 voti)
Categoria	File di sviluppo
Formato	Testo 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.

Cos'è un file V?

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. Ulteriori informazioni

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 ++.

DOWNLOAD GRATUITO Apri e visualizza i file .V con File Viewer Plus. Programmi che aprono file V

finestre

File Viewer Plus Notepad ++ Xilinx ISE Design Suite Icarus Verilog Parser Verilog 2005 Cadence Design Systems incisivo SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

Mac	Icarus Verilog

Linux

Xilinx ISE Design Suite Parser Verilog 2005 Icarus Verilog

Aggiornato il 27/11/2018

Tipo file 2 Immagine YUV raw sottoposta a campionamento

Sviluppatore	N / A
Popolarità	3.3 (9 voti)
Categoria	File di immagini raster
Formato	Binario X Binario Questo file viene salvato in un formato binario, che richiede un programma specifico per leggere il suo contenuto.

.V File Association 2

File di immagine "V" non elaborato creato da ppmtoyuvsplit, un programma basato su Unix utilizzato per suddividere le immagini Portable PixMap (file .PPM) in file .Y, .U e V; memorizza la crominanza "V", o colore, componente per l'immagine; può essere ripristinato nel file PPM originale usando l'utility yuvsplittoppm. Maggiori informazioni

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.

Programmi che aprono file V

finestre

Microsoft Windows Media Player con pacchetto YUV Genius Apple QuickTime Player con codec QuickTime YUV

Mac	Apple QuickTime Player con codec QuickTime YUV

Linux

yuvsplittoppm ppmtoyuvsplit

Aggiornato il 26/05/2010

File Tipo File di codice sorgente 3Coq

Sviluppatore	ADT Coq
Popolarità	2,9 (7 voti)
Categoria	File di sviluppo
Formato	Testo 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 per Coq, che è stato precedentemente gestito da The Coq Development Team, è ora gestito da ADT Coq. ADT sta per "Action for Technological Development".

Programmi che aprono file V

finestre

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Aggiornato il 12/6/2010

Informazioni su V Files

Il nostro obiettivo è aiutarti a capire che cos'è un file con un suffisso * .v e come aprirlo.

Tutti i tipi di file, le descrizioni dei formati di file e i programmi software elencati in questa pagina sono stati studiati individualmente e verificati dal team di FileInfo. Cerchiamo il 100% di accuratezza e pubblichiamo solo informazioni sui formati di file che abbiamo testato e convalidato.

Se vuoi suggerire eventuali aggiunte o aggiornamenti a questa pagina, faccelo sapere.