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