Object-oriented representation, analysis, and scheduling of signal transition graphs

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.<>