Timed boolean functions a unified formalism for exact timing analysis - Lam, William K. C.; Brayton, Robert K. (Boston Kluwer Academic Publishers, 1994)
Keywords: Algebra, Boolean--Data processing; Computer algorithms; Integrated circuits--Very large scale integration--Design--Data processing; Logic design--Data processing