Karl S. Brace

According to our database, Karl S. Brace authored at least 6 papers between 1987 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions.

Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi

Proceedings of the Computer Aided Systems Theory, 2007

2004

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

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

1997

Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor.

Gabriel P. Bischoff, Karl S. Brace, Samir Jain, Rahul Razdan

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1994

PRISC Software Acceleration Techniques.

Rahul Razdan, Karl S. Brace, Michael D. Smith

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1990

Efficient Implementation of a BDD Package.

Karl S. Brace, Richard L. Rudell, Randal E. Bryant

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

1987

COSMOS: A Compiled Simulator for MOS Circuits.

Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987