Accueil : Extensions de fichiers : Fichier v

Extension de fichier .v

Type de fichier 1Verilog Source Code File

Développeur Accellera
Catégorie Fichiers de développeur
Le format Text

.V numéro d'option 1

Un fichier avec une extension de fichier V peut être un fichier de code source écrit en langage de description de matériel Verilog (HDL). Il spécifie un modèle de système électronique. Les fichiers V contiennent généralement le code source Verilog 2005, mais ils peuvent également utiliser l’une des anciennes normes Verilog, telles que Verilog-95 ou Verilog 2001.

Plus d'informations

Verilog 2005 a été remplacé par SystemVerilog, qui repose sur la norme précédente mais ajoute de nouvelles fonctionnalités de modélisation de conception. Les fichiers source SystemVerilog ont une extension .SV .

REMARQUE: les fichiers source Verilog sont enregistrés au format texte brut et peuvent être ouverts dans un éditeur de texte tel que Notepad ++.

Programmes qui ouvrent des fichiers V

Type de fichier 2Subsampled Raw YUV Image

Développeur N/A
Catégorie Fichiers d'image raster
Le format Binary

.V numéro d'option 2

Fichier image "V" brut créé par ppmtoyuvsplit, programme basé sur Unix utilisé pour scinder les images Portable PixMap ( .PPM fichiers) en .Y , .U et en fichiers V; stocke le composant "V" de chrominance, ou couleur, pour l'image; peut être restauré dans le fichier PPM d'origine à l'aide de l'utilitaire yuvsplittoppm.

Plus d'informations

Les fichiers V stockent les données d'image dans un format requis par le codec MPEG de Stanford.

REMARQUE: les utilitaires de ligne de commande yuvsplittoppm et ppmtoyuvsplit font partie du package graphique basé sur Unix basé sur netpbm <. / p>

Programmes qui ouvrent des fichiers V
Windows
Microsoft Windows Media Player
Linux
yuvsplittoppm
ppmtoyuvsplit

Type de fichier 3Coq Source Code File

Développeur ADT Coq
Catégorie Fichiers de développeur
Le format Text

.V numéro d'option 3

Fichier de développement utilisé par Coq, une application utilisée pour développer des épreuves mathématiques. enregistré dans un format texte contenant le code source construit dans le langage Gallina, basé sur un langage formel expressif appelé Calcul des constructions inductives (CIC); utilisé pour stocker des preuves mathématiques.

Plus d'informations

Les développeurs spécifient les expressions dans les fichiers V en utilisant le "langage vernaculaire" de Gallina, qui correspond à la syntaxe ou au langage des commandes du langage Gallina. Une fois les fichiers V écrits, vous pouvez les compiler et les exécuter avec l'IDE Coq Proof Assistant portant le nom de programme CoqIDE.

REMARQUE: Le développement de Coq, précédemment géré par l'équipe de développement Coq, est maintenant maintenu par ADT Coq. ADT signifie "Action pour le développement technologique".

Programmes qui ouvrent des fichiers V
Linux
CoqIDE

À propos des fichiers V

Notre objectif est de vous aider à comprendre ce qu’est un fichier portant l’extension *.v et comment l'ouvrir.

Le type de fichier Coq Source Code File, la description du format et les programmes Mac, Windows, Linux, Android et iOS listés sur cette page ont été recherchés et vérifiés par l’équipe CommentOuvrir. Nous visons une précision de 100% et ne publions que des informations sur les formats de fichiers que nous avons testés et validés.