The Community for Technology Leaders
Green Image
Issue No. 07 - July (1970 vol. 19)
ISSN: 0018-9340
pp: 658
J.C. Shepherdson , University of Bristol
H. Wang ("Circuit synthesis by solving sequential Boolean equations," Zeit. f?r Math. Logik und Grundlagen der Math., vol. 5 pp. 291-322, 1959) pointed out that sequential Boolean equations, obtained by adding a sequential operator to take care of the time element to the ordinary Boolean operations, provided a convenient language for expressing conditions to be satisfied by circuits or automata. Among other things he described algorithms for deciding whether an equation has a solution, and for deciding whether it has a solution with finite delay. The present paper presents algorithms which are thought to be more efficient.

J. Shepherdson, "R70-20 Sequential Boolean Equations," in IEEE Transactions on Computers, vol. 19, no. , pp. 658, 1970.
86 ms
(Ver 3.3 (11022016))