Hardware-Überprüfungssprache - Hardware verification language
Eine Hardware-Verifizierungssprache oder HVL ist eine Programmiersprache, die zum Verifizieren des Entwurfs elektronischer Schaltungen verwendet wird, die in einer Hardwarebeschreibungssprache geschrieben sind . HVLs enthalten normalerweise Funktionen einer höheren Programmiersprache wie C ++ oder Java sowie Funktionen für die einfache Manipulation auf Bitebene, die denen in HDLs ähneln . Viele HVLs bieten eine eingeschränkte Erzeugung zufälliger Stimuli und Konstrukte zur funktionalen Abdeckung, um die Überprüfung komplexer Hardware zu unterstützen.
SystemVerilog , OpenVera , e und SystemC sind die am häufigsten verwendeten HVLs. SystemVerilog versucht, HDL- und HVL-Konstrukte in einem einzigen Standard zu kombinieren.
Siehe auch
Verweise
Externe Links
Dieser Artikel zum Thema Programmiersprache ist ein Stub . Sie können Wikipedia helfen, indem Sie es erweitern . |