HDL Verifier
Verifikation von VHDL und Verilog mit HDL-Simulatoren und Testbenches für FPGA-in-the-Loop
HDL Verifier™ generiert automatisch Testbenches für die Verifikation von Entwürfen in Verilog® und VHDL®. Mit MATLAB® oder Simulink® können Sie Ihren Entwurf direkt stimulieren und seine Reaktion dann mit einer HDL-Kosimulation oder mit FPGA-in-the-Loop mit FPGA-Platinen von Xilinx®, Intel® und Microsemi® analysieren. Dank dieses Ansatzes ist es nicht mehr notwendig, eigenständige Verilog- oder VHDL-Testbenches zu erstellen.
Außerdem generiert HDL Verifier Komponenten, die MATLAB- und Simulink-Modelle nativ in Simulatoren von Cadence®, Mentor Graphics® und Synopsys® wiederverwenden. Diese Komponenten können als Verifikationsprüfungsmodelle oder als Stimuli in komplexeren Testbench-Umgebungen verwendet werden, etwa in Umgebungen, die die Universal Verification Methodology (UVM) nutzen.
HDL-Kosimulation
Verifizieren Sie, ob Ihre Implementierung in HDL-Code MATLAB-Algorithmen und Simulink-Modellen entspricht.
Debuggen und Verifizieren von Systementwürfen
Verwenden Sie System-Testbenches und Referenzmodelle in MATLAB und Simulink, um zu verifizieren, ob Verilog- oder VHDL-Code den Systemspezifikationen entspricht. Verifizieren Sie Entwürfe mithilfe von MATLAB oder Simulink mit den Simulatoren Incisive® und Xcelium™ von Cadence®, den Simulatoren ModelSim® und Questa® von Mentor Graphics®oder dem Simulator Vivado® von Xilinx®.
Verifikation von Simulink-Modellen mit HDL-Kosimulation.
Integration des vorhandenen HDL-Codes
Binden Sie bereits vorhandenen oder von Dritten stammenden HDL-Code in MATLAB-Algorithmen oder Simulink-Modelle ein, um Simulationen auf Systemebene durchzuführen. Verwenden Sie den Kosimulationsassistenten, um Verilog- oder VHDL-Code automatisch zu importieren und Verbindungen mit HDL-Simulatoren von Mentor Graphics oder Cadence herzustellen.
Importieren von VHDL- oder Verilog-Code mit dem Kosimulationsassistenten.
Messen der HDL-Codeabdeckung
Erstellen und evaluieren Sie Testbenches in Simulink mithilfe von Codeabdeckungs-Analysetools und interaktiven Quellcode-Debuggern in HDL-Simulatoren von Mentor Graphics und Cadence. Führen Sie interaktive Tests durch oder erstellen Sie Skripten für Batch-Simulationen.
Ermittlung von Codeabdeckungs-Statistiken mithilfe der Kosimulation.
Generierung von SystemVerilog DPI-Komponenten
Exportieren Sie MATLAB-Algorithmen oder Simulink-Modelle in ASIC- oder FPGA-Verifikationsumgebungen, einschließlich VCS® von Synopsys, Incisive oder Xcelium von Cadence und ModelSim oder Questa von Mentor Graphics.
Export von Komponenten
Generieren Sie SystemVerilog DPI-Komponenten aus MATLAB-Funktionen oder Simulink-Subsystemen als Verhaltensmodelle zur Verwendung in Umgebungen für die funktionale Verifikation.
Generieren von SystemVerilog-Komponenten.
UVM-Unterstützung
Generieren Sie Verifikationskomponenten aus MATLAB-Funktionen oder Simulink-Modellen, und integrieren Sie sie mithilfe der Universal Verification Methodology (UVM) als Scoreboards oder Sequenzelemente in Testbenches.
UVM-Umgebung für die funktionale Verifikation.
SystemVerilog-Assertions
Generieren Sie native SystemVerilog-Assertions aus Assertions in Ihrem Simulink-Modell. Verwenden Sie die generierten Assertions, um eine konsistente Validierung des Entwurfsverhaltens in Simulink und in Ihrer Verifikationsumgebung für die Produktion sicherzustellen.
Generieren von Code aus einem Assertion-Block.
Hardwarebasierte Verifikation
Debuggen und verifizieren Sie Algorithmen auf FPGA-Platinen, die mit Testumgebungen von MATLAB oder Simulink verbunden sind.
FPGA-in-the-Loop-Tests
Verwenden Sie System-Testbenches in MATLAB oder Simulink, um HDL-Implementierungen auf FPGA-Platinen zu testen. Verbinden Sie Ihren Hostcomputer automatisch mit FPGA-Platinen von Xilinx, Intel® und Microsemi® über Ethernet, JTAG oder PCI Express®.
Durchführung einer FPGA-in-the-Loop-Verifikation mit FPGA-Platinen.
Datenerfassung von FPGAs
Erfassen Sie Hochgeschwindigkeits-Signale von Entwürfen, die auf einem FPGA ausgeführt werden, und laden Sie sie automatisch in MATLAB, um sie anzuzeigen und zu analysieren. Analysieren Sie Signale in Ihrem gesamten Entwurf, um das erwartete Verhalten zu verifizieren oder Anomalien zu untersuchen.
Erfassen von Signalen und Hochladen in MATLAB zur Analyse.
Lese-/Schreibzugriff auf den Arbeitsspeicher
Greifen Sie von MATLAB aus über JTAG, Ethernet oder PCI Express auf Arbeitsspeicherorte auf der Platine zu, indem Sie einen IP-Core von MathWorks in FPGA-Entwürfe einfügen. Testen Sie FPGA-Algorithmen mithilfe von Lese- oder Schreibzugriff auf AXI-Register und übertragen Sie große Signal- oder Bilddateien zwischen MATLAB und Arbeitsspeicherorten auf der Platine.
Zugreifen auf Arbeitsspeicherorte auf der Platine von MATLAB aus.
Integration in HDL Coder
Automatisieren Sie HDL-Verifikationsaufgaben, indem Sie HDL Verifier zusammen mit HDL Coder verwenden.
Automatisierung der HDL-Kosimulation
Führen Sie eine automatisierte Verifikation von Verilog- oder VHDL-Code, der von HDL Coder™
generiert wurde, direkt vom HDL Workflow Advisor-Tool aus durch.
Generieren eines HDL-Kosimulationsmodells mithilfe von HDL Workflow Advisor.
Automatisierung von FPGA-Tests
Führen Sie eine Hardware-Verifikation von Testbenches in MATLAB oder Simulink aus durch, indem Sie FPGA-Bitstreams mithilfe der Integration in Entwicklungstools von Xilinx, Intel und Microsemi generieren. Fügen Sie Testpunkte zu Simulink-Modellen hinzu, um Signale zu erfassen und in MATLAB zu laden, wo Sie sie dann anzeigen und analysieren können.
Erstellen eines FPGA-in-the-Loop-Modells mit HDL Workflow Advisor.
SystemVerilog DPI-Testbench
Generieren Sie während der HDL-Codegenerierung eine SystemVerilog-Testbench aus einem Simulink-Modell. Verifizieren Sie den generierten Verilog- oder VHDL-Code mithilfe der Testbench mit HDL-Simulatoren wie VCS von Synopsys, Incisive oder Xcelium von Cadence, ModelSim oder Questa von Mentor Graphics und Vivado von Xilinx.
Generieren von DPI-Komponenten mit HDL Coder.
Generierung nach TLM 2.0
Generieren Sie IEEE Standard 1666 SystemC konforme TLM 2.0-kompatible Transaction-Level Modelle aus Simulink
Virtuelle Prototypen
Generieren Sie virtuelle Prototypen-Modelle von SystemC mit TLM 2.0-Schnittstellen, um sie in Simulationen mit virtuellen Plattformen zu nutzen.
Erstellung ausführbarer Dateien für virtuelle Plattformen aus Simulink-Modellen.
IP-XACT-Unterstützung
Passen Sie die TLM-Schnittstellen der generierten Komponenten durch Importieren von IP-XACT XML-Dateien an. Verwenden Sie den TLM-Generator, um IP-XACT-Dateien mit Informationen zur Zuordnung zwischen Simulink und den generierten TLM-Komponenten zu erzeugen.
Generieren von IP-XACT-Dateien aus Simulink-Modellen.
Neue Funktionen
Integration der FPGA-Datenerfassung in HDL Coder
Angeben von Signalen, die bei FPGA-Tests mithilfe von Testpunkten in Simulink erfasst werden sollen
MATLAB als AXI-Master über Ethernet
Durchführung von Lese- und Schreibvorgängen auf FPGA-Platinen mit MATLAB über Ethernet
MATLAB als AXI-Master über PCI Express
Durchführung von Lese- und Schreibvorgängen in hoher Geschwindigkeit auf FPGA-Platinen mit MATLAB über PCI Express
Generierung von SystemVerilog-Assertions aus Simulink Test
Zuordnung von Test-Assessment-Blöcken zu Assertions in generierten DPI-Komponenten
Generieren einer SystemVerilog-Schnittstelle für DPI-Komponenten
Auswahl zwischen einer Portliste und einer SystemVerilog-Schnittstellendeklaration bei der Generierung einer SystemVerilog DPI-Komponente
Unterstützung für FTDI USB-JTAG-Kabel
FTDI USB-JTAG-Verbindung für MATLAB als AXI-Master und FPGA-Datenerfassung
Details zu diesen Merkmalen und den zugehörigen Funktionen finden Sie in den Versionshinweisen.