Title :
Multi-Level Assertion-Based Design
Author :
Eveking, Hans ; Braun, Martin ; Schickel, Martin ; Schweikert, Martin ; Nimbler, Volker
Author_Institution :
Comput. Syst. Group, Darmstadt Univ. of Technol., Darmstadt
fDate :
May 30 2007-June 2 2007
Abstract :
Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determinism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.
Keywords :
formal specification; formal verification; cando-objects; executable behavioral models; high-level models; multi-level assertion-based design; Design methodology;
Conference_Titel :
Formal Methods and Models for Codesign, 2007. MEMOCODE 2007. 5th IEEE/ACM International Conference on
Conference_Location :
Nice
Print_ISBN :
1-4244-1050-9
DOI :
10.1109/MEMCOD.2007.371244
