Search results
Results from the WOW.Com Content Network
Switching circuit theory is the mathematical study of the properties of networks of idealized switches. Such networks may be strictly combinational logic, in which their output state is only a function of the present state of their inputs; or may also contain sequential elements, where the present state depends on the present state and past states; in that sense, sequential circuits are said ...
At the time, the methods employed to design logic circuits (for example, contemporary Konrad Zuse's Z1) were ad hoc in nature and lacked the theoretical discipline that Shannon's paper supplied to later projects. Shannon's work also differered significantly in its approach and theoretical framework compared to the work of Akira Nakashima.
Logic design is a step in the standard design cycle in which the functional design of an electronic circuit is converted into the representation which captures logic operations, arithmetic operations, control flow, etc. A common output of this step is RTL description. Logic design is commonly followed by the circuit design step.
The original theory of asynchronous circuits was created by David E. Muller in mid-1950s. [8] This theory was presented later in the well-known book "Switching Theory" by Raymond Miller. [9] The term "asynchronous logic" is used to describe a variety of design styles, which use different assumptions about circuit properties. [10]
Shestakov proposed a theory of electric switches based on Boolean logic earlier than Claude Shannon (according to certification of Soviet logicians and mathematicians Sofya Yanovskaya, M. G. Gaaze-Rapoport, Roland Dobrushin, Oleg Lupanov, Yu. A. Gastev, Yu. T. Medvedev, and Vladimir Andreevich Uspensky).
Practical design of combinational logic systems may require consideration of the finite time required for practical logical elements to react to changes in their inputs. Where an output is the result of the combination of several different paths with differing numbers of switching elements, the output may momentarily change state before ...
Hayes became an IEEE Fellow in 1985 "for contributions to digital testing techniques and to switching theory and logical design", [11] and an ACM Fellow in 2001 "for outstanding contributions to logic design and testing and to fault-tolerant computer architecture."
Originally inspired by the design and testing of switching circuits and the utilization of error-correcting codes in electrical engineering, the roots for the development of what later would evolve into the Boolean differential calculus were initiated by works of Irving S. Reed, [3] David E. Muller, [4] David A. Huffman, [5] Sheldon B. Akers Jr ...