3 Dateitypen verwenden die Dateierweiterung .v .
- 1. Verilog-Quellcodedatei
- 2. Unterabgetastetes rohes YUV-Bild
- 3. Coq-Quellcodedatei
Dateityp 1 Verilog-Quellcodedatei
| Entwickler | Accellera |
| Popularität | 3, 5 |
| Kategorie | Entwicklerdateien |
| Format | Text X TextDiese Datei wird in einem Nur-Text-Format gespeichert. Sie können den Inhalt dieser Datei mit einem Texteditor öffnen und anzeigen. |
Was ist eine V-Datei?
Eine Datei mit der Erweiterung V kann eine Quellcodedatei sein, die in der Hardwarebeschreibungssprache von Verilog geschrieben ist
Binär
Diese Datei wird in einem binären Format gespeichert, das ein bestimmtes Programm zum Lesen des Inhalts erfordert.
.V-Dateizuordnung 2
Unformatierte "V" -Imagedatei, die von ppmtoyuvsplit erstellt wurde, einem Unix-basierten Programm zum Aufteilen von Portable PixMap-Images
Text
Diese Datei wird in einem Nur-Text-Format gespeichert. Sie können den Inhalt dieser Datei mit einem Texteditor öffnen und anzeigen.
.V-Dateizuordnung 3
Entwicklerdatei, die von Coq verwendet wird, einer Anwendung zur Erstellung mathematischer Beweise; in einem Textformat gespeichert werden und Quellcode enthalten, der in der Sprache Gallina erstellt wurde, die auf einer Ausdruckssprache namens Calculus of Inductive Constructions (CIC) basiert; zur Speicherung mathematischer Beweise. Mehr Informationen
Entwickler geben Ausdrücke in V-Dateien mit der Gallina-Sprachausgabe (Sprache) an, die die Syntax oder Sprache der Befehle für die Gallina-Sprache ist. Sobald V-Dateien geschrieben sind, können sie mit der Coq Proof Assistant IDE, die den Programmnamen CoqIDE hat, kompiliert und ausgeführt werden.
HINWEIS: Die Entwicklung für Coq, die zuvor vom Coq-Entwicklungsteam gepflegt wurde, wird jetzt von ADT Coq verwaltet. ADT steht für "Action for Technological Development".
Programme, die V-Dateien öffnen
| Windows |
|
| Mac |
|
| Linux |
|
