Thumbnail
Access Restriction
Subscribed

Author Grass, W. ♦ Lenk, S. ♦ Sontheim, C.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1998
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Hardware ♦ Timing ♦ Algebra ♦ Protocols ♦ Communication system control ♦ Communication networks ♦ Flow graphs ♦ Job design ♦ Process design ♦ Design methodology
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.
Description Author affiliation: Passau Univ., Germany (Grass, W.)
ISBN 0818686464
ISSN 10896503
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1998-08-27
Publisher Place Sweden
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 749.44 kB
Page Count 8
Starting Page 357
Ending Page 364


Source: IEEE Xplore Digital Library