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

Generating Good Properties from a Small Number of Use Cases

Malburg, Jan and Flenker, Tino and Fey, Görschwin (2016) Generating Good Properties from a Small Number of Use Cases. IEEE International Verification and Security Workshop, 4.-6. Juli 2016, Sant Feliu de Guixols, Spanien.

Full text not available from this repository.


The final design of today’s ICs is in many cases created by combining functional blocks from various vendors or reusing them from previous projects. Often only partial information about the internal behavior of such blocks is available. One way to describe the behavior of a functional block are formal properties. The advantage of properties in comparison to informal specifications is that they are precise and can be handled by tools. We present a technique to automatically generate SystemVerilog-Assertions from designs using dynamic dependency graphs. The dynamic dependency graphs are created from a set of predefined or automatically generated use cases. Using the dynamic dependency graph we compute the conditions under which specific outputs are observable. By this, 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. We abstract from the concrete values in the use cases using symbolic values and merging the temporal behavior of similar conditions. In the end, a modelchecker verifies the correctness of the generated properties

Item URL in elib:https://elib.dlr.de/105973/
Document Type:Conference or Workshop Item (Speech)
Title:Generating Good Properties from a Small Number of Use Cases
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Keywords:Electronic Design Automation, Design Understanding, Property Generation, Simulation based, Dataflow-analysis
Event Title:IEEE International Verification and Security Workshop
Event Location:Sant Feliu de Guixols, Spanien
Event Type:Workshop
Event Dates:4.-6. Juli 2016
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space System Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Space System Technology
DLR - Research theme (Project):R - Core Avionics (old), R - Systemtechnologien (old), R - Small Sat Kleinsatelliten (old)
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Mörz, Martina
Deposited On:08 Sep 2016 09:49
Last Modified:20 Jun 2021 15:47

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.