Title :
Boolean Integral Calculus for Digital Systems
Author :
Tucker, Jerry H. ; Tapia, Moiez A. ; Bennett, A. Wayne
Author_Institution :
NASA Langley
Abstract :
The concept of Boolean integration is introduced and developed. When the changes in a desired function are specified in terms of changes in its arguments, then ways of "integrating" (i.e., realizing) the function, if it exists, are presented. Boolean integral calculus has applications in design of logic circuits.
Keywords :
Base of Boolean function; Boolean calculus; Boolean differential; Boolean differential expression; Boolean integration; compatible integral; direct and inverse partial derivatives; edge-sensitive flip-flops; exact integral; Boolean functions; Calculus; Digital systems; Flip-flops; Logic circuits; NASA; Testing; Base of Boolean function; Boolean calculus; Boolean differential; Boolean differential expression; Boolean integration; compatible integral; direct and inverse partial derivatives; edge-sensitive flip-flops; exact integral;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1985.1676517
