Encoding Large Asynchronous Controllers With ILP Techniques
Current algorithms to force the Complete State Coding (CSC) property for Signal Transition Graphs work on the State Graph and, therefore require exponential time and space. Polynomial algorithms have been only proposed for Marked Graphs. In this paper, a P-time algorithm for Unique State Coding (USC) is presented. Although more restrictive than CSC, it is shown that the USC property can be eeciently guaranteed for large STGs. Several experiments evidence that the obtained results are even better than those generated by exponential-time techniques.