By Topic

A generalized signal transition graph model for specification of complex interfaces

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)

This paper introduces a new Generalized Signal Transition Graph model for specifying complex mixed asynchronous/synchronous circuits, as found in system-level interfaces. The goal has been to develop extensions that make it possible to model mixed asynchronous/synchronous and arbitration behavior. A number of key extensions have been developed that makes the model much more widely applicable to industrial designs. The extensions include Boolean guards, the introduction of level semantics that make it possible to describe “events” in terms of both signal transitions as well as “signal levels”, and the semantic extensions for describing don't care and undefined behavior. The latter extensions make it possible to model synchronous finite state machines using an asynchronous model, hence permitting the specification of mixed asynchronous/synchronous behavior. The proposed Generalized Signal Transition Graph Model is free from the restrictions of the previous models such as liveness, safeness, and free-choice requirements, and permits general Petri-net structures that may include multiple tokens in a place as long as the resulting state graph is bounded and has a consistent state assignment. A key aspect of the generalizations is that all the extensions are defined at the state graph level

Published in:

European Design and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings.

Date of Conference:

28 Feb-3 Mar 1994