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.
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 ++.
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.
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>
| Windows |
|
| Linux |
|
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.
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".
| Linux |
|