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

Développeur	Accellera
Popularité	3.6 (25 Votes)
Catégorie	Fichiers de développement
Format	Texte X Texte Ce fichier est enregistré au format texte brut. Vous pouvez ouvrir et afficher le contenu de ce fichier à l'aide d'un éditeur de texte.

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

File Viewer Plus Bloc-notes ++ Xilinx ISE Design Suite Icarus Verilog Analyseur Verilog 2005 Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

Mac	Icarus Verilog

Linux

Xilinx ISE Design Suite Analyseur Verilog 2005 Icarus Verilog

Mise à jour le 27/11/2018

Type de fichier 2 Image YUV brute sous-échantillonnée

Développeur	N / A
Popularité	3.3 (9 Votes)
Catégorie	Fichiers d'image raster
Format	X binaire Binaire Ce fichier est enregistré dans un format binaire, ce qui nécessite un programme spécifique pour lire son contenu.

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

Microsoft Windows Media Player avec le package YUV Genius Apple QuickTime Player avec codec QuickTime YUV

Mac	Apple QuickTime Player avec codec QuickTime YUV

Linux

yuvsplittoppm ppmtoyuvsplit

Mise à jour le 26/05/2010

Type de fichier Fichier de code source 3Coq

Développeur	ADT Coq
Popularité	2.9 (7 Votes)
Catégorie	Fichiers de développement
Format	Texte X Texte Ce fichier est enregistré au format texte brut. Vous pouvez ouvrir et afficher le contenu de ce fichier à l'aide d'un éditeur de texte.

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

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Mis à jour le 06/12/2010

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