Karl S. Brace

Publication Activity (10 Years)

Years Active: 1987-2007
Publications (10 Years): 0

Publications

Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions. EUROCAST (2007)
Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
Gabriel P. Bischoff, Karl S. Brace, Samir Jain, Rahul Razdan
Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor. ICCD (1997)
Rahul Razdan, Karl S. Brace, Michael D. Smith
PRISC Software Acceleration Techniques. ICCD (1994)
Karl S. Brace, Richard L. Rudell, Randal E. Bryant
Efficient Implementation of a BDD Package. DAC (1990)
Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler
COSMOS: A Compiled Simulator for MOS Circuits. DAC (1987)