Contenu
- Type de fichier 1Verilog Source Code File
- Texte
- Qu'est-ce qu'un fichier V?
- Type de fichier 2 Image YUV brute sous-échantillonnée
- Binaire
- Association de fichiers .V 2
- Type de fichier Fichier de code source 3Coq
- Texte
- Association de fichiers .V 3
- À propos des fichiers V
Type de fichier 1Verilog Source Code File
Qu'est-ce qu'un fichier V?
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 la conception. Les fichiers source SystemVerilog ont une extension de fichier .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 ++.
TÉLÉCHARGEMENT GRATUIT Ouvrez et affichez les fichiers .V avec File Viewer Plus. Programmes qui ouvrent des fichiers V| les fenêtres |
|
| Mac |
|
| Linux |
|
Type de fichier 2 Image YUV brute sous-échantillonnée
Association de fichiers .V 2
Fichier image "V" brut créé par ppmtoyuvsplit, un programme basé sur Unix utilisé pour scinder les images Portable PixMap (fichiers .PPM) en fichiers .Y, .U et 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'information
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 netpbm basé sur Unix.
Programmes qui ouvrent des fichiers V| les fenêtres |
|
| Mac |
|
| Linux |
|
Type de fichier Fichier de code source 3Coq
Association de fichiers .V 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'information
Les développeurs spécifient des expressions dans des fichiers V en utilisant le terme "vernaculaire" de Gallina, qui correspond à la syntaxe, ou langage des commandes, du langage Gallina. Une fois les fichiers V écrits, ils peuvent être compilés et exécutés avec l'IDE Coq Proof Assistant, qui porte le nom de programme CoqIDE.
REMARQUE: Le développement pour Coq, qui était précédemment géré par l'équipe de développement de Coq, est maintenant géré par ADT Coq. ADT signifie "Action for Technological Development" (Action pour le développement technologique).
Programmes qui ouvrent des fichiers V| les fenêtres |
|
| Mac |
|
| Linux |
|
À propos des fichiers V
Notre objectif est de vous aider à comprendre ce qu'est un fichier avec le suffixe * .v et comment l'ouvrir.
Tous les types de fichier, les descriptions de format de fichier et les logiciels répertoriés sur cette page ont été individuellement recherchés et vérifiés par l'équipe FileInfo. 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.
Si vous souhaitez suggérer des ajouts ou des mises à jour à cette page, veuillez nous en informer.
