Benutzer: Gast  Login
Titel:

A Formal Method for Hardware/Software Co-Design

Dokumenttyp:
Technical Report
Autor(en):
Ketil Stoelen; Max Fuchs
Abstract:
This paper presents a formal method supporting hardware/software co-design with respect to specification and verification. We introduce three different specification formats. Two of these are intended for the specification of asynchronous software; the third is more suited for digital hardware applications. All three formats are based on the assumption/commitment paradigm. We introduce a refinement relation and formulate verification rules for the parallel composition of specifications. We appl...     »
Stichworte:
Assumption/Commitment; Hardware/Software Co-Design; Verification
Jahr:
1995
Jahr / Monat:
1995-05-01 00:00:00
Seiten/Umfang:
31
 BibTeX