By Topic

A new lock based state coding methodology for signal transition graphs

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

1 Author(s)
R. Nagalla ; Sch. of Comput. Sci. & Eng., New South Wales Univ., Kensington, NSW, Australia

In this paper a new approach for enforcing complete state coding (CSC) property in signal transition graph (STG) specifications will be discussed. As a novel contribution we propose a lock based methodology to ascertain whether a given STG has complete state coding (CSC) property. Unlike most of the existing methods which operate on a state graph, our method operates on the STG. This approach has the advantage of being either easily automated or easier to visually correlate with the STG specifications. Experimental results with a large number of practical asynchronous bench marks are presented

Published in:

Circuits and Systems, 1998. ISCAS '98. Proceedings of the 1998 IEEE International Symposium on  (Volume:6 )

Date of Conference:

31 May-3 Jun 1998