Die Algebraische Dekomposition von Kombinatorischen Schaltungen und von Speichern

Coherent design of asynchronous circuits

“…3a corresponds to the verbal specification given above: x l = 1 at t = 5 having last been 1 at t = 0; as x 2 = 0 at t = 0 this value of x 2 must be the value of the output 3; at t = 5. In the same way, the inputs and outputs can be compared at the time intervals (9,5), (10,9), (13,10), ..., (32, 30), (33, 32) and (34, 33) to verify that the SIOD corresponds to the verbal specification.…”

“…\g. As with the choice of a merger, each encoding of the internal states leads to a different network, again there being no forward looking algorithm for isolating an optimum assignment. Early attempts [10] at developing latches without explicitly employing the concept of internal states let the idea ripen that general sequential circuits could possibly also be specified and developed without using the concept of internal states. This would of necessity completely eliminate the encoding problem.…”

“…The idea behind the method was heuristic [3,4], but only after a more theoretical approach [5] followed by a predicate logic study of the problem in its simplest form [2] was the method developed as presented here.…”