- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| c3 |      | 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 |
| 1995 | ||
| c2 |  | Samir Jain, Randal E. Bryant, Alok Jain: Automatic Clock Abstraction from Sequential Circuits. DAC 1995: 707-711 |
| c1 | | Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain: Extraction of finite state machines from transistor netlists by symbolic simulation. ICCD 1995: 596-601 |
| 1 | Derek L. Beatty | |
| 2 | Gabriel P. Bischoff | |
| 3 | Karl S. Brace | |
| 4 | Randal E. Bryant | |
| 5 | Alok Jain | |
| 6 | Manish Pandey | |
| 7 | Rahul Razdan | |
| 8 | Gary York |
Data released under the ODC-BY 1.0 license — See also our legal information page