Borchers, Kai und Montenegro, Sergio und Dannemann, Frank (2019) Volatile Register Handling for FPGA Verification Based on SVAs Incorporated into UVM Environments. In: IEEE Aerospace Conference Proceedings. IEEE Aerospace Conference, USA. doi: 10.1109/AERO.2019.8742109.
PDF
- Nur DLR-intern zugänglich
2MB |
Kurzfassung
Verification of Field Programmable Gate Array (FPGA) designs is a challenging task which can be managed in different ways. By now, Universal Verification Methodology (UVM) is the de-facto standard for functional verification of Register Transfer Level (RTL) designs throughout all industry branches. Among others, UVM proposes to check for correct Device Under Test (DUT) behavior in an automated way, based on observing applied stimulus used to predict the expected DUT reaction. However, the prediction requires a DUT model whereas some DUT properties are complicated or even impossible to predict. Volatile registers are an example for this kind of problem. This paper introduces a way to incorporate volatile register comparisons inside the UVM environment alongside standard registers. This is done by utilizing SystemVerilog Assertions (SVA) which observe volatile registers to provide their values to the UVM environment directly at the time they are accessed.
elib-URL des Eintrags: | https://elib.dlr.de/131487/ | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
Titel: | Volatile Register Handling for FPGA Verification Based on SVAs Incorporated into UVM Environments | ||||||||||||||||
Autoren: |
| ||||||||||||||||
Datum: | März 2019 | ||||||||||||||||
Erschienen in: | IEEE Aerospace Conference Proceedings | ||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||
Open Access: | Nein | ||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||
DOI: | 10.1109/AERO.2019.8742109 | ||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||
Stichwörter: | UVM, SVA, FPGA | ||||||||||||||||
Veranstaltungstitel: | IEEE Aerospace Conference | ||||||||||||||||
Veranstaltungsort: | USA | ||||||||||||||||
Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
HGF - Programm: | Raumfahrt | ||||||||||||||||
HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||
DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||
DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | R - Scosa Onboard Computing (alt) | ||||||||||||||||
Standort: | Bremen | ||||||||||||||||
Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||||||||||
Hinterlegt von: | Borchers, Kai | ||||||||||||||||
Hinterlegt am: | 28 Nov 2019 10:48 | ||||||||||||||||
Letzte Änderung: | 25 Jul 2023 07:59 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags