COSMOS: A Compiled Simulator for MOS Circuits. - Randal E. Bryant; Derek L. Beatty; Karl S. Brace; Kyeongsoon Cho; Thomas J. Sheffler (DAC, 1987)

Efficient Implementation of a BDD Package. - Karl S. Brace; Richard L. Rudell; Randal E. Bryant (DAC, 1990)

PRISC Software Acceleration Techniques. - Rahul Razdan; Karl S. Brace; Michael D. Smith 001 (ICCD, 1994)

Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor. - Gabriel P. Bischoff; Karl S. Brace; Samir Jain; Rahul Razdan (ICCD, 1997)

Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. - Gabriel P. Bischoff; Karl S. Brace; Gianpiero Cabodi; Sergio Nocco; Stefano Quer (BMC@CAV, 2004)

A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions. - Gabriel P. Bischoff; Karl S. Brace; Gianpiero Cabodi (EUROCAST, 2007)