Authors: Carloni, LP McMillan, KL Sangiovanni-Vincentelli, AL

Citation: Lp. Carloni et al., Theory of latency-insensitive design, IEEE COMP A, 20(9), 2001, pp. 1059-1076

Authors: Hong, YP Beerel, PA Burch, JR McMillan, KL

Citation: Yp. Hong et al., Sibling-substitution-based BDD minimization using don't cares, IEEE COMP A, 19(1), 2000, pp. 44-55

Authors: McMillan, KL

Citation: Kl. Mcmillan, A methodology for hardware verification using compositional model checking, SCI COMP PR, 37(1-3), 2000, pp. 279-309