elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Property Mining using Dynamic Dependency Graphs

Malburg, Jan and Flenker, Tino and Fey, Görschwin (2017) Property Mining using Dynamic Dependency Graphs. In: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC. 22nd Asia and South Pacific Design Automation Conference, 16.-19. Januar 2017, Chiba/Tokyo, Japan. ISBN 9781509015597

[img] PDF - Registered users only
292kB

Abstract

We present a technique to automatically generate SystemVerilog-Assertions from designs using dynamic dependency graphs. We extract relations between signals of the design using only a few simulation runs, which drastically reduces the required number of use cases compared to other approaches. Additionally, unlike previous approaches, we do not use expression templates to establish those relations. We abstract from the concrete use cases by inserting symbolic values and by merging similar conditions in time. A model-checker verifies the correctness of the generated properties. The evaluation shows that our approach is able to create more expressive properties than state of the art techniques, while requiring less simulation data.

Item URL in elib:https://elib.dlr.de/110219/
Document Type:Conference or Workshop Item (Speech)
Title:Property Mining using Dynamic Dependency Graphs
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Malburg, JanUNSPECIFIEDUNSPECIFIED
Flenker, TinoUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Date:2017
Journal or Publication Title:Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
ISBN:9781509015597
Status:Published
Keywords:Electronic Design Automation, Design Understanding, Property Generation, Simulation based, Dataflow-analysis
Event Title:22nd Asia and South Pacific Design Automation Conference
Event Location:Chiba/Tokyo, Japan
Event Type:international Conference
Event Dates:16.-19. Januar 2017
Organizer:ASP-DAC
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Core Avionics, R - Systemtechnologien, R - Small Sat Kleinsatelliten (old)
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Mörz, Martina
Deposited On:05 Jan 2017 10:52
Last Modified:02 May 2018 13:07

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.