Zuhause : Dateierweiterungen : .v Datei

.v Dateierweiterung

Dateityp 1Verilog Source Code File

Entwickler Accellera
Kategorie Entwicklerdateien
Datei Formatieren Text

.V Möglichkeit 1

Eine Datei mit einer V-Dateierweiterung kann eine Quellcodedatei sein, die in der Verilog-Hardwarebeschreibungssprache (HDL) geschrieben ist. Es gibt ein Modell eines elektronischen Systems an. V-Dateien enthalten normalerweise Verilog 2005-Quellcode, sie können jedoch auch einen der älteren Verilog-Standards verwenden, z. B. Verilog-95 oder Verilog 2001.

Weitere Informationen

Verilog 2005 wurde durch SystemVerilog ersetzt, das den vorherigen Standard aufbaut, jedoch neue Designmodellierungsfunktionen hinzufügt. SystemVerilog-Quelldateien haben die Dateierweiterung .SV .

HINWEIS: Verilog-Quelldateien werden in einem Nur-Text-Format gespeichert und können in einem Texteditor wie Notepad ++ geöffnet werden.

Programme, die V Dateien öffnen können

Dateityp 2Subsampled Raw YUV Image

Entwickler N/A
Kategorie Rasterbilddateien
Datei Formatieren Binary

.V Möglichkeit 2

RAW-Bilddatei "V", die von ppmtoyuvsplit erstellt wurde, einem Unix-basierten Programm zum Aufteilen von Portable PixMap-Bildern ( .PPM -Dateien) in .Y -, .U - und V-Dateien; speichert die Chrominanz- oder Farbkomponente "V" für das Bild; kann mit dem Dienstprogramm yuvsplittoppm in der ursprünglichen PPM-Datei wiederhergestellt werden.

Weitere Informationen

V-Dateien speichern Bilddaten in einem vom Stanford MPEG-Codec erforderlichen Format.

HINWEIS: Die Befehlszeilenhilfsprogramme yuvsplittoppm und ppmtoyuvsplit sind Teil des netpbm Unix-basierten Grafikpakets

Programme, die V Dateien öffnen können
Windows
Microsoft Windows Media Player
Linux
yuvsplittoppm
ppmtoyuvsplit

Dateityp 3Coq Source Code File

Entwickler ADT Coq
Kategorie Entwicklerdateien
Datei Formatieren Text

.V Möglichkeit 3

Entwicklerdatei, die von Coq verwendet wird, einer Anwendung zur Erstellung mathematischer Beweise; in einem Textformat gespeichert und enthält Quellcode, der in der Sprache Gallina erstellt wurde, die auf einer Ausdruckssprache namens Calculus of Inductive Constructions (CIC) basiert; zur Speicherung mathematischer Beweise.

Weitere Informationen

Entwickler geben Ausdrücke in V-Dateien mit der Gallina-Sprachausgabe an, bei der es sich um die Syntax oder Sprache der Befehle für die Gallina-Sprache handelt. Sobald V-Dateien geschrieben wurden, können sie mit der Coq Proof Assistant-IDE, die den Programmnamen CoqIDE hat, kompiliert und ausgeführt werden.

HINWEIS: Development for Coq, das zuvor vom Coq Development Team verwaltet wurde, ist jetzt gepflegt von ADT Coq. ADT steht für "Action for Technological Development".

Programme, die V Dateien öffnen können
Linux
CoqIDE

Über V Dateien

Unser Ziel ist es, Ihnen zu zeigen, wofür die Datei mit der Erweiterung .v gedacht ist und wie man sie öffnet.

Dateityp Coq Source Code File, Die auf dieser Seite aufgeführten Softwarebeschreibungen für Mac, Windows, Linux, Android und iOS wurden mit dem Befehl DateiWiki einzeln recherchiert und überprüft. Wir bemühen uns um eine 100% ige Genauigkeit und veröffentlichen nur Informationen über Dateiformate, die wir getestet und geprüft haben.