Optimized synthesis of asynchronous control circuits from graph-theoretic specifications
Peter Vanbekbergen, Gert Goossens, Francky Catthoor, H.J. De Man · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992
The proposed synthesis method starts from a graph-theoretic specification called a signal transition graph (STG). A method for transforming a given STG into an STG that satisfies the original timing behavior and that in addition obeys the unique state coding requirement is given. It is shown that in general, many valid solutions to this problem are possible. Therefore, an attempt is made to find a transformed STG that can be realized in a circuit with optimized speed and area.>