.V Extension de fichier

4 types de fichiers utilisent l'extension .v.

Fichier de code source Verilog

Développeur Accellera
Popularité
3,7  |  51 Votes
 
🔍Ouvrez les fichiers .V directement dans votre navigateur avec File Helper.Voir en ligne

Qu'est-ce qu'un fichier V ?

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

Plus d'informations

Verilog 2005 a été remplacé par SystemVerilog, qui s’appuie sur la norme précédente tout en ajoutant de nouvelles fonctionnalités de modélisation de conception. Les fichiers source SystemVerilog portent l’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 comme Notepad++.

Programmes qui ouvrent ou référencent les fichiers V

Windows
File Viewer Plus  —  Obtenir sur Microsoft
Gratuit+
Notepad++
Gratuit
Xilinx ISE Design Suite  —  Abandonné
Version d'essai gratuite
Icarus Verilog
Gratuit
Verilog 2005 parser
Gratuit
Cadence Design Systems Incisive
SYNAPTICAD VeriLogger Extreme
Version d'essai gratuite
Mentor Graphics ModelSim
Version d'essai gratuite
Mac
Icarus Verilog
Gratuit
Linux
Xilinx ISE Design Suite  —  Abandonné
Version d'essai gratuite
Verilog 2005 parser
Gratuit
Icarus Verilog
Gratuit
Web
FileHelper.com
Gratuit

Fichier de code source Coq

Développeur ADT Coq
Popularité
3,6  |  12 Votes
 

Fichier destiné aux développeurs et utilisé par Coq, une application servant à développer des preuves mathématiques ; enregistré au format texte, il contient du code source construit dans le langage Gallina, lui-même basé sur un langage formel expressif appelé Calculus of Inductive Constructions (CIC) ; utilisé pour stocker des preuves mathématiques.

Plus d'informations

Les développeurs spécifient des expressions dans les fichiers V à l’aide du « vernaculaire » de Gallina, c’est-à-dire la syntaxe, ou le langage de commandes, du langage Gallina. Une fois les fichiers V écrits, ils peuvent être compilés et exécutés avec l’environnement de développement intégré Coq Proof Assistant, dont le nom de programme est CoqIDE.

REMARQUE : Le développement de Coq, auparavant assuré par The Coq Development Team, est maintenant assuré par ADT Coq. ADT signifie « Action for Technological Development ».

Programmes qui ouvrent ou référencent les fichiers V

Windows
CoqIDE
Gratuit
Mac
CoqIDE
Gratuit
Linux
CoqIDE
Gratuit

Fichier de code source V

Développeur Alex Medvednikov
Popularité
4,0  |  7 Votes
 

Un fichier V contient du code source écrit dans le langage de programmation V. Généralement, un fichier V contient un programme ou un module V.

Plus d'informations

Capture d'écran d'un fichier .v dans Microsoft Visual Studio Code
Fichier V ouvert dans Microsoft Visual Studio Code

V est un langage de programmation compilé à typage statique développé par Alex Medvednikov. Il est similaire au langage de programmation Go de Google, mais s'inspire également d'Oberon, de Rust et de Swift. Selon Medvednikov, V est conçu pour être simple, lisible et facile à gérer.

Les développeurs enregistrent les programmes V et autres codes source V dans des fichiers V. Les fichiers V qui contiennent un module de programme peuvent être référencés dans un ou plusieurs autres fichiers V afin d'importer ce module.

Comment ouvrir un fichier V

Vous pouvez ouvrir un fichier V et modifier son contenu avec n'importe quel éditeur de texte ou de code source. Les éditeurs de code source, tels que Microsoft Visual Studio Code et GitHub Atom, proposent des outils utiles qui facilitent la lecture et la modification des fichiers V.

Si votre fichier V contient un programme, vous pouvez exécuter le programme à l'aide de la commande run de V.

Programmes qui ouvrent les fichiers V

Windows
V
Gratuit
Microsoft Visual Studio Code
Gratuit
GitHub Atom  —  Abandonné
Gratuit
N'importe quel éditeur de texte
Mac
V
Gratuit
Microsoft Visual Studio Code
Gratuit
GitHub Atom  —  Abandonné
Gratuit
N'importe quel éditeur de texte
Linux
V
Gratuit
Microsoft Visual Studio Code
Gratuit
GitHub Atom  —  Abandonné
Gratuit
N'importe quel éditeur de texte

Image YUV brute sous-échantillonnée

Développeur N/D
Popularité
3,2  |  10 Votes
 

Fichier image « V » brut créé par ppmtoyuvsplit, un programme Unix utilisé pour séparer les images Portable PixMap (fichiers .PPM) en .Y, .U et fichiers V ; stocke le composant de chrominance, ou de couleur, « V » de 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 en ligne de commande yuvsplittoppm et ppmtoyuvsplit font partie du paquet graphique Unix netpbm.

Programmes qui ouvrent les fichiers V

Windows
Microsoft Windows Media Player with YUV Genius package
Inclus avec l'OS
Mac
Apple QuickTime Player with QuickTime YUV codec
Inclus avec l'OS
Linux
yuvsplittoppm
ppmtoyuvsplit

Vérifié par FileInfo.com

L'équipe FileInfo.com a mené des recherches indépendantes sur tous les formats de fichiers et logiciels répertoriés sur cette page. Notre objectif est une précision de 100 %, et nous ne publions que des informations sur les types de fichiers que nous avons vérifiés.

Si vous souhaitez suggérer des ajouts ou des mises à jour de cette page, faites-le-nous savoir.

‹ .UZIP  |  .V11.SUO ›