A new lock based state coding methodology for signal transition graphs

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.