NASA technical note TN (series). D-3273. Algorithm for synthesis of asynchronous sequential circuits [with list of references]; by John S. Tripp.

Tools