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.
Zusammenfassung
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