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

fYear

1993

fDate

3-6 May 1993

Firstpage

2737

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on

Conference_Location

Chicago, IL

Print_ISBN

0-7803-1281-3

Type

conf

DOI

10.1109/ISCAS.1993.394333

Filename

394333