.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.
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.
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
| Windows |
|
| Linux |
|
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.
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".
| Linux |
|