Title :
Object-oriented representation, analysis, and scheduling of signal transition graphs
Author :
Baake, Uwe ; Huss, Sorin A.
Author_Institution :
Dept. of Comput. Sci., Tech. Univ. of Darmstadt, Germany
Abstract :
The authors present components of a design environment for specification and validation of asynchronous communication protocols. As novel contributions they propose an object-oriented foundation of the design environment and efficient algorithms for the signal transition graphs used as high-level specifications of communication protocols. These algorithms validate important properties of cyclic graphs as required to synthesize correctly logic circuits from protocol specifications. Results are presented for initial marking and scheduling validation of protocol specifications
Keywords :
asynchronous circuits; graph theory; logic design; object-oriented methods; protocols; state assignment; asynchronous communication protocols; cyclic graphs; design environment; high-level specifications; object-oriented foundation; protocol specifications; scheduling validation; signal transition graphs; Circuit synthesis; Communication system control; Computer science; Design methodology; Logic circuits; Petri nets; Processor scheduling; Protocols; Signal analysis; Signal design;
Conference_Titel :
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-1281-3
DOI :
10.1109/ISCAS.1993.394333
