Extension du fichier .V

3 types de fichiers utilisent l'extension de fichier .v .

• 1. Fichier de code source Verilog
• 2. Image YUV brute sous-échantillonnée
• 3. Fichier de code source Coq

Type de fichier 1 Fichier de code source Verilog

Qu'est-ce qu'un fichier V?

Un fichier avec une extension de fichier V peut être un fichier de code source écrit dans le langage de description de matériel Verilog.CatégorieFichiers d'image rasterFormatX 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 PixMapCatégorieFichiers de développeurFormatTexte 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éveloppeur 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 de Coq, précédemment géré par l'équipe de développement de Coq, est maintenant géré par ADT Coq. ADT signifie "Action pour le développement technologique".

Programmes qui ouvrent des fichiers V