The State Encoding Methodology

As described in Section 4.3.4, a valid Signal Transition Graph specification can be implemented with a logic circuit if and only if the STG has the Complete State Coding property ([27], [88]). This, informally, amounts to say that the signals specified by the STG completely define the circuit state. Until now the burden of satisfying the CSC property has been placed mostly on the designer. Kondratyevet al.([66, 134]) and Vanbekbergenet al.([123]) addressed this problem, but only in the limited case of STGs whose underlying PN is a Marked Graph.