Abstract:
State assignment algorithms are proposed for an asynchronous finite automaton (AFA) that yields a simplified structure for the logic converter by reducing the functional dependence among internal variables. The algorithms are based on the Liu–Sagalovich method [C. N. Liu, J. Assoc. Comput. Mach., 10, No. 2, 209–216 (1963), Yu. L. Sagalovich, Probl. Peredachi Inf., 3, No. 2, 73–85 (1967)].