Title :
Design of control dominated hardware based on formal methods
Author :
Grass, Werner ; Lenk, Stefan ; Sontheim, Christine
Author_Institution :
Passau Univ., Germany
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;
Conference_Titel :
Euromicro Conference, 1998. Proceedings. 24th
Conference_Location :
Vasteras
Print_ISBN :
0-8186-8646-4
DOI :
10.1109/EURMIC.1998.711827
