Browse by author
Lookup NU author(s): Professor Alex Yakovlev
We discuss a number of limitations of the current status of signal transition graphs (STG'S), a model which has recently become popular for designing asynchronous interface circuits. The major syntactic and semantic restrictions that can be lifted are safety, free-choice net structure and binary signal labelling. We present a number of instructive examples of interface control circuit specifications, which are semantically correct yet from such restrictions. Adequate techniques for analysis and implementation of the extended STG model are discussed.
Author(s): Yakovlev A
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1992
Pages: 10
Print publication date: 01/01/1992
Source Publication Date: 1992
Report Number: 374
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/374.pdf