 | 2007 |
|---|
| 6 |       | 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: 505-514 |
| 2005 |
|---|
| 5 | | 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.
Electr. Notes Theor. Comput. Sci. 119(2): 33-49 (2005) |
| 1997 |
|---|
| 4 |  | 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: 16-24 |
| 1994 |
|---|
| 3 | | Rahul Razdan,
Karl S. Brace,
Michael D. Smith:
PRISC Software Acceleration Techniques.
ICCD 1994: 145-149 |
| 1990 |
|---|
| 2 | | Karl S. Brace,
Richard L. Rudell,
Randal E. Bryant:
Efficient Implementation of a BDD Package.
DAC 1990: 40-45 |
| 1987 |
|---|
| 1 | | Randal E. Bryant,
Derek L. Beatty,
Karl S. Brace,
K. Cho,
Thomas J. Sheffler:
COSMOS: A Compiled Simulator for MOS Circuits.
DAC 1987: 9-16 |
