A technique employing an auxiliary function to enable the detection of
completion in logic functions is described. The derivation of such au
xiliaries is demonstrated using an extension of transition logic princ
iples. The technique is evaluated through the implementation of a self
-timed adder.