Hardware design verification : simulation and formal method-based approaches

by Lam, William K. C.
Published 2005

Timed Boolean Functions : A Unified Formalism for Exact Timing Analysis

by Lam, William K.C., Brayton, Robert K.
Published 1994