elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Engineering of an Effective Automatic Assertion-based Verification Platform

Ghasempouri, Tara und Malburg, Jan und Danese, Alessandro und Pravadelli, Graziano und Fey, Görschwin und Raik, Jaan (2019) Engineering of an Effective Automatic Assertion-based Verification Platform. In: 6th Workshop on Design Automation for Understanding Hardware Designs, Seiten 557-562. 6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2019), 2019-03-29, Florence, Italy.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Offizielle URL: https://duhde2019.ict.tuwien.ac.at/

Kurzfassung

Several approaches exist for specification mining of hardware designs, both at the RTL and system levels (e.g, TLM). These approaches mine assertions that specify the behavior of the design. Some of the techniques require the source code itself while others can extract assertions directly from simulation traces. The performance of some approaches is highly dependent on the number of simulation traces/use cases while there exist approaches which can extract assertions from a limited number of simulation traces. Apart from this aspect, the core of each assertion miner is different from the other ones. Some use expression templates to define assertions while some are based on the static analysis or information flow analysis. Unfortunately, it has been rarely considered which of the current approaches are more effective in describing functionality of particular types of designs. Thus, in this work, we analyze assertion miners which are template based and dynamic dependency graph based, respectively. We generate assertions from both approaches. The evaluation considers fault analysis on both assertion sets of extracted assertions. Moreover, both sets are combined and fault analysis has been applied on them. Experimental results show that each set approximately detects the same number of faults while when the two sets are combined the number of detected faults increases. Finally, a new, more efficient architecture for an effective assertion miner has been developed based on the study in this work.

elib-URL des Eintrags:https://elib.dlr.de/127128/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Engineering of an Effective Automatic Assertion-based Verification Platform
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Ghasempouri, TaraNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Malburg, JanJan.Malburg (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Danese, AlessandroNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Pravadelli, GrazianoNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, Görschwingoerschwin.fey (at) tuhh.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Raik, JaanNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:29 März 2019
Erschienen in:6th Workshop on Design Automation for Understanding Hardware Designs
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Seitenbereich:Seiten 557-562
Status:veröffentlicht
Stichwörter:Property generation, Hardware design, simulation, comparision
Veranstaltungstitel:6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2019)
Veranstaltungsort:Florence, Italy
Veranstaltungsart:Workshop
Veranstaltungsdatum:29 März 2019
Veranstalter :Christian Krieg (TU Wien), Oliver Keszöcze (Friedrich-Alexander-Universität Erlangen-Nürnberg)
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 - Core Avionics (alt)
Standort: Bremen
Institute & Einrichtungen:Institut für Raumfahrtsysteme > Avioniksysteme
Hinterlegt von: Malburg, Jan
Hinterlegt am:24 Apr 2019 09:25
Letzte Änderung:24 Apr 2024 20:30

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.