TY - BOOK AU - Lam, William K. C. AU - Brayton, Robert K. TI - Timed boolean functions: a unified formalism for exact timing analysis SN - 0792394542 U1 - 621.395 PY - 1994/// CY - Boston PB - Kluwer Academic Publishers KW - Algebra, Boolean--Data processing KW - Computer algorithms KW - Integrated circuits--Very large scale integration--Design--Data processing KW - Logic design--Data processing ER -