.V Estensione file

4 tipi di file usano l'estensione .v.

1.File di codice sorgente Verilog
2.File di codice sorgente Coq
3.File di codice sorgente V
4.Immagine YUV non elaborata sottocampionata

File di codice sorgente Verilog

Sviluppatore	Accellera
Popolarità	3,7 \| 51 Voti

Che cos'è un file V?

Un file con estensione V può essere un file di codice sorgente scritto nel linguaggio di descrizione dell'hardware (HDL) Verilog. Specifica un modello di un sistema elettronico. I file V contengono in genere codice sorgente Verilog 2005, ma possono anche utilizzare uno degli standard Verilog precedenti, come Verilog-95 o Verilog 2001.

Maggiori informazioni

Verilog 2005 è stato sostituito da SystemVerilog, che si basa sullo standard precedente ma aggiunge nuove funzionalità per la modellazione dei progetti. I file sorgente SystemVerilog hanno un'estensione .SV.

NOTA: I file sorgente Verilog vengono salvati in un formato di testo semplice e possono essere aperti in un editor di testo come Notepad++.

Programmi che aprono o fanno riferimento ai file V

Windows

File Viewer Plus — Ottienilo da Microsoft

Gratuito⁺

Notepad++

Gratuito

Xilinx ISE Design Suite — Non più disponibile

Prova gratuita

Icarus Verilog

Gratuito

Verilog 2005 parser

Gratuito

Cadence Design Systems Incisive

A pagamento

SYNAPTICAD VeriLogger Extreme

Prova gratuita

Mentor Graphics ModelSim

Prova gratuita

Mac

Icarus Verilog

Gratuito

Linux

Xilinx ISE Design Suite — Non più disponibile

Prova gratuita

Verilog 2005 parser

Gratuito

Icarus Verilog

Gratuito

Web

FileHelper.com

Gratuito

File di codice sorgente Coq

Sviluppatore	ADT Coq
Popolarità	3,6 \| 12 Voti

File per sviluppatori utilizzato da Coq, un'applicazione usata per sviluppare dimostrazioni matematiche; viene salvato in formato testo e contiene codice sorgente scritto nel linguaggio Gallina, basato su un linguaggio formale espressivo chiamato Calculus of Inductive Constructions (CIC); viene utilizzato per memorizzare dimostrazioni matematiche.

Maggiori informazioni

Gli sviluppatori specificano le espressioni nei file V usando il "vernacolo" Gallina, ovvero la sintassi, o linguaggio dei comandi, del linguaggio Gallina. Una volta scritti, i file V possono essere compilati ed eseguiti con l'ambiente di sviluppo integrato Coq Proof Assistant, il cui nome del programma è CoqIDE.

NOTA: Lo sviluppo di Coq, precedentemente gestito da The Coq Development Team, è ora gestito da ADT Coq. ADT è l'acronimo di "Action for Technological Development."

Programmi che aprono o fanno riferimento ai file V

Windows

CoqIDE

Gratuito

Mac

CoqIDE

Gratuito

Linux

CoqIDE

Gratuito

File di codice sorgente V

Sviluppatore	Alex Medvednikov
Popolarità	4,0 \| 7 Voti

Un file V contiene codice sorgente scritto nel linguaggio di programmazione V. In genere, un file V contiene un programma o un modulo V.

Maggiori informazioni

Screenshot di un file .v in Microsoft Visual Studio Code — File V aperto in Microsoft Visual Studio Code

V è un linguaggio di programmazione compilato e tipizzato staticamente, sviluppato da Alex Medvednikov. È simile al linguaggio di programmazione Go di Google, ma è influenzato anche da Oberon, Rust e Swift. Secondo Medvednikov, V è progettato per essere semplice, leggibile e facile da mantenere.

Gli sviluppatori salvano i programmi V e altro codice sorgente V nei file V. I file V che contengono un modulo di programma possono essere richiamati all'interno di uno o più altri file V per importare quel modulo.

Come aprire un file V

Puoi aprire un file V e modificarne il contenuto usando qualsiasi editor di testo o di codice sorgente. Gli editor di codice sorgente, come Microsoft Visual Studio Code e GitHub Atom, contengono strumenti utili che facilitano la lettura e la modifica dei file V.

Se il tuo file V contiene un programma, puoi eseguire il programma usando il comando run di V.

Programmi che aprono i file V

Windows

Gratuito

Microsoft Visual Studio Code

Gratuito

GitHub Atom — Non più disponibile

Gratuito

Qualsiasi editor di testo

Mac

Gratuito

Microsoft Visual Studio Code

Gratuito

GitHub Atom — Non più disponibile

Gratuito

Qualsiasi editor di testo

Linux

Gratuito

Microsoft Visual Studio Code

Gratuito

GitHub Atom — Non più disponibile

Gratuito

Qualsiasi editor di testo

Immagine YUV non elaborata sottocampionata

Sviluppatore	N/D
Popolarità	3,2 \| 10 Voti

File immagine "V" non elaborato creato da ppmtoyuvsplit, un programma basato su Unix usato per dividere le immagini Portable PixMap (file .PPM) in file .Y, .U e V; memorizza la componente di crominanza, o colore, "V" dell'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 utilità da riga di comando yuvsplittoppm e ppmtoyuvsplit fanno parte del pacchetto grafico basato su Unix netpbm.

Programmi che aprono i file V

Windows

Microsoft Windows Media Player with YUV Genius package

Incluso nel sistema operativo

Mac

Apple QuickTime Player with QuickTime YUV codec

Incluso nel sistema operativo

Linux

yuvsplittoppm

ppmtoyuvsplit

.V Estensione file

File di codice sorgente Verilog

Che cos'è un file V?

Maggiori informazioni

Programmi che aprono o fanno riferimento ai file V

File di codice sorgente Coq

Maggiori informazioni

Programmi che aprono o fanno riferimento ai file V

File di codice sorgente V

Maggiori informazioni

Come aprire un file V

Programmi che aprono i file V

Immagine YUV non elaborata sottocampionata

Maggiori informazioni

Programmi che aprono i file V

Verificato da FileInfo.com

CONTENUTO DELLA PAGINA