Table-lookup method for the state assignment of asynchronous machines
R. Barry, Douglas Lewin · Electronics Letters · 1973
A new technique is described that enables asynchronous flow tables to be assigned a single transition time racefree code using a table-lookup technique based on an n-dimensional lattice. The method is suitable for both manual and machine computation, and can also be used iteratively for the generation of economical assignments.