Was ist das V-Dateiformat?
.v ist die Standard-Dateiendung für Verilog, eine Hardwarebeschreibungssprache (HDL), die zur Modellierung digitaler Schaltungen für die FPGA-Programmierung und das ASIC-Design verwendet wird. Verilog wurde 1984 von Phil Moorby und Prabhu Goel bei Gateway Design Automation entwickelt und später als IEEE 1364-1995 standardisiert. Sie ermöglicht es Ingenieuren, das Verhalten, die Struktur und das Timing von Hardware auf Register-Transfer-Ebene (RTL) zu beschreiben, die Synthese-Tools dann auf tatsächliche Logikgatter abbilden.
Eine .v-Datei enthält eine oder mehrere module-Definitionen. Jedes Modul deklariert seine Portliste, interne wire- und reg-Signale, Parameter und Logik, die durch always-Blöcke (verhaltensorientiert), assign-Anweisungen (kombinatorisch) oder strukturelle Instanziierung anderer Module ausgedrückt wird. Die Dateiversion - Verilog-95, Verilog-2001 oder Verilog-2005 - wird nicht in der Datei deklariert; Tools leiten sie aus den verwendeten Syntaxkonstrukten ab.
Verilog-2005 (IEEE 1364-2005) war der letzte eigenständige Standard, bevor SystemVerilog (IEEE 1800-2017, .sv) HDL mit Funktionen einer Hardware-Verifizierungssprache verschmolz und so zum modernen Nachfolger wurde. .v-Dateien werden weltweit weiterhin intensiv in bestehenden FPGA- und ASIC-Projekten eingesetzt. VHDL (.vhd) ist die wichtigste alternative HDL, die vor allem im Verteidigungssektor und in der europäischen Luft- und Raumfahrt verbreitet ist.
Simulationswerkzeuge wie iverilog (Icarus Verilog) und Verilator sowie Synthesewerkzeuge wie Vivado (AMD/Xilinx) und Quartus Prime (Intel/Altera) akzeptieren .v-Dateien nativ.
Sicherheit
RISIKO: LOWKlartext-Quellcode; kein Ausführungsrisiko beim Betrachten in einem Texteditor. Risiko nur bei Synthese und Programmierung auf Hardware - prüfen Sie RTL aus nicht vertrauenswürdigen Quellen auf Hardware-Trojaner.
Formatdetails
kurz gefasst- V-Sprachquelldatei - Die Programmiersprache V (vlang.io, 2019) verwendet ebenfalls die Endung .v für ihre Quelldateien - steht in keinem Zusammenhang mit Hardwaredesign.
- Coq / Proof Assistant Datei - Der Beweisassistent Coq verwendet gelegentlich .v für Theorem-Beweisskripte; unterscheidet sich von Verilog.
Programme zum Öffnen von V-Dateien
Technische Details
technische Spezifikation| Sprachstandard | IEEE 1364-1995, 1364-2001, 1364-2005 (Verilog-2005) |
| Nachfolgestandard | SystemVerilog IEEE 1800-2017 (Endung `.sv`) |
| Kodierung | ASCII (gemäß IEEE-Spezifikation); toolabhängige Unicode-Unterstützung in Kommentaren |
| Top-Level-Konstrukt | `module ... endmodule` Block |
| Simulationskonstrukte | `always`, `initial`, `#delay`, `$display`, `$monitor`, `$dumpvars` |
| Synthesekonstrukte | `always @(posedge clk)`, `assign`, strukturelle Modulinstanziierung |
| Logikwertsystem | Vierwertig - 0, 1, X (undefiniert), Z (hochohmig) |
| Typische Dateigröße | 500 B - 500 KB pro Modul; synthetisierte Netzlisten bis zu mehreren MB |
| Versionserkennung | Keine Versionsdeklaration in der Datei - Tools leiten Version aus Syntaxkonstrukten ab |
| Open-Source-Simulation | Icarus Verilog (`iverilog`), Verilator |
| Kommerzielle Synthese-Tools | Vivado (AMD/Xilinx), Quartus Prime (Intel/Altera) |
| MIME-Typ | `text/plain` (informell auch `text/x-verilog`) |
| Veröffentlicht | 1984 (Verilog language); IEEE 1364-1995 standard |
| Neueste Version | Verilog-2005 (IEEE 1364-2005); superseded by SystemVerilog (IEEE 1800-2017) |
| Offener Standard | Ja · lizenzgebührenfrei |
| Spezifikation | ieeexplore.ieee.org |
V-Konvertierungen
Community Q&A
von Nutzern gefragtNoch keine Fragen - stellen Sie die erste Frage zu V-Dateien.