Inhalt

• Dateityp 1Verilog-Quellcodedatei
• Text
• Was ist eine V-Datei?
• Dateityp 2Untersetztes Roh-YUV-Bild
• Binär
• .V-Dateizuordnung 2
• Dateityp 3Coq-Quellcodedatei
• Text
• .V-Dateizuordnung 3
• Über V-Dateien

Dateityp 1Verilog-Quellcodedatei

Entwickler	Accellera
Popularität	3,6 (25 Stimmen)
Kategorie	Entwicklerdateien
Format	Text X Text Diese 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 Dateiendung V 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, aber neue Designmodellierungsfunktionen hinzufügt. SystemVerilog-Quelldateien haben die Erweiterung .SV.

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

KOSTENLOSER DOWNLOAD Öffnen und Anzeigen von .V-Dateien mit File Viewer Plus. Programme, die V-Dateien öffnen

Windows

File Viewer Plus Notepad ++ Xilinx ISE Design Suite Icarus Verilog Verilog 2005 Parser Cadence Design Systems Schillernd SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

Mac	Icarus Verilog

Linux

Xilinx ISE Design Suite Verilog 2005 Parser Icarus Verilog

Aktualisiert am 27.11.2014

Dateityp 2Untersetztes Roh-YUV-Bild

Entwickler	N / A
Popularität	3,3 (9 Stimmen)
Kategorie	Rasterbilddateien
Format	Binäres X 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 (.PPM-Dateien) in .Y-, .U- und V-Dateien; speichert die Chrominanz- oder Farbkomponente "V" für das Bild; kann mit dem Dienstprogramm yuvsplittoppm in die ursprüngliche PPM-Datei zurückgespeichert werden. Mehr Informationen

V-Dateien speichern Bilddaten in einem Format, das vom Stanford MPEG-Codec benötigt wird.

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

Programme, die V-Dateien öffnen

Windows

Microsoft Windows Media Player mit YUV Genius-Paket Apple QuickTime Player mit QuickTime YUV-Codec

Mac	Apple QuickTime Player mit QuickTime YUV-Codec

Linux

yuvsplittoppm ppmtoyuvsplit

Aktualisiert am 26.05.2010

Dateityp 3Coq-Quellcodedatei

Entwickler	ADT Coq
Popularität	2,9 (7 Stimmen)
Kategorie	Entwicklerdateien
Format	Text X 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, 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 kompiliert und mit der Coq Proof Assistant IDE ausgeführt werden, die den Programmnamen CoqIDE hat.

HINWEIS: Die Entwicklung für Coq, die zuvor vom The Coq Development Team gepflegt wurde, wird nun von ADT Coq. ADT steht für "Action for Technological Development".

Programme, die V-Dateien öffnen

Windows

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Aktualisiert am 06.12.2010

Über V-Dateien

Unser Ziel ist es, Ihnen zu zeigen, was eine Datei mit dem Suffix * .v ist und wie Sie sie öffnen.

Alle auf dieser Seite aufgelisteten Dateitypen, Dateiformatbeschreibungen und Softwareprogramme wurden vom FileInfo-Team einzeln recherchiert und überprüft. Wir bemühen uns um 100% ige Genauigkeit und veröffentlichen nur Informationen über Dateiformate, die wir getestet und validiert haben.

Wenn Sie Ergänzungen oder Aktualisierungen dieser Seite vorschlagen möchten, teilen Sie uns dies bitte mit.