Publikation

Change Impact Analysis for Hardware Designs

Martin Ring, Jannis Ulrich Stoppe, Christoph Lüth, Rolf Drechsler

In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016) September 14-16 Bremen Germany ECSI - European Electronic Chips and Systems design Initiative 2016.

Abstrakt

Design processes are increasingly moving to more abstract description levels; no single formalism can handle the complexities of modern designs. However, keeping designs consistent across different abstraction levels, in particular in the presence of changes, has up to now been an arduous manual task. This paper presents a framework which provides a uniform, interconnected representation of the descriptions across the abstraction levels, starting from natural language requirement specifications over SysML design specifications down to executable SystemC models, allowing to track changes on all levels of abstraction, and ensuring consistency throughout the development process. The framework has been implemented in a tool, ChImpAnC, to show its viability. It assists the developer by highlighting inconsistencies and proof obligations across various descriptions levels in order to simplify

Projekte

main-final-IEEE-certified.pdf (pdf, 885 KB)

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence