- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| c5 |      | 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 | ||
| j1 | | 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 | ||
| c4 |  | 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 | ||
| c3 | | Rahul Razdan, Karl S. Brace, Michael D. Smith: PRISC Software Acceleration Techniques. ICCD 1994: 145-149 |
| 1990 | ||
| c2 | | Karl S. Brace, Richard L. Rudell, Randal E. Bryant: Efficient Implementation of a BDD Package. DAC 1990: 40-45 |
| 1987 | ||
| c1 | | 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 |
| 1 | Derek L. Beatty | |
| 2 | Gabriel P. Bischoff | |
| 3 | Randal E. Bryant | |
| 4 | Gianpiero Cabodi | |
| 5 | K. Cho | |
| 6 | Samir Jain | |
| 7 | Sergio Nocco | |
| 8 | Stefano Quer | |
| 9 | Rahul Razdan | |
| 10 | Richard L. Rudell | |
| 11 | Thomas J. Sheffler | |
| 12 | Michael D. Smith |
Data released under the ODC-BY 1.0 license — See also our legal information page