Title :
On Realizations of Synchronous Sequential Machines
Author :
Haring, Donald R. ; Susskind, Alfred K.
Author_Institution :
Div. of Sponsored Research, Electronic Systems Lab., Mass. Inst. Tech., Cambridge, Mass.
Abstract :
In this correspondence it is shown that by applying Gavrilov\´s test algorithm to any Boolean function numerically represented by its "constrained designation numbers", introduced by Ledley, a very suitable program for the automatic determination of the prime implicants and of the prime implicant table can be established.
Keywords :
Admittance; Analog-digital conversion; Boolean functions; Clocks; Decoding; Logic circuits; Logic gates; Resistors; Samarium; Synchronous generators;
Journal_Title :
Electronic Computers, IEEE Transactions on
DOI :
10.1109/PGEC.1967.264784
