• DocumentCode
    2806992
  • 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
  • fYear
    2007
  • fDate
    May 30 2007-June 2 2007
  • Firstpage
    85
  • Lastpage
    86
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/MEMCOD.2007.371244
  • Filename
    4231777
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2806992