Design of control dominated hardware based on formal methods

Author

Grass, Werner ; Lenk, Stefan ; Sontheim, Christine

Author_Institution

Passau Univ., Germany

Volume

1

fYear

1998

fDate

25-27 Aug 1998

Firstpage

357

Abstract

We present an approach for synchronous design of communication units. A graphical design entry based on timing diagrams allows the designer to comfortably specify the abstract behaviour of a communication unit. Graphical specifications are formalized using a process algebra capable of explicitly modeling data flow. Applying correct transformation rules, a specification is iteratively transformed into an implementation description. The applicability of this approach is demonstrated by a sensoring interface for a PC bus

Keywords

engineering graphics; formal specification; graph theory; high level synthesis; process algebra; protocols; specification languages; system buses; PC bus; abstract behaviour; communication unit; communication units; control dominated hardware; data flow modeling; formal methods; graphical design entry; graphical specifications; implementation description; process algebra; sensoring interface; synchronous design; timing diagrams; transformation rules; Algebra; Communication networks; Communication system control; Design methodology; Flow graphs; Hardware; Job design; Process design; Protocols; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Euromicro Conference, 1998. Proceedings. 24th

Conference_Location

Vasteras

ISSN

1089-6503

Print_ISBN

0-8186-8646-4

Type

conf

DOI

10.1109/EURMIC.1998.711827

Filename

711827