Constraint-based platform variants specification for early system verification

Publikationstyp
Konferenz
Autor(en)
Burger, A. and Viehl, A. and Braun, A. and Haedicke, F. and Große, D. and Bringmann, O. and Rosenstiel, W.
Jahr
2014
Seiten
800--805
Buchtitel
Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific
Abstract
To overcome the verification gap arising from significantly increased external IP integration and reuse during electronic platform design and composition, we present a model-based approach to specify platform variants. The variants specification is processed automatically by formalizing and solving the integrated constraint sets to derive valid platforms. These constraint sets enable a precise specification of the required platform variants for verification, exploration and test. Experimental results demonstrate the applicability, versatility and scalability of our novel model-based approach.
DOI
http://dx.doi.org/10.1109/ASPDAC.2014.6742988
Projekt
RESCAR 2.0
Download .bib
Download .bib
Eingetragen von