| |
| 1997 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | EE | Samir Jain, Randal E. Bryant, Alok Jain: Automatic Clock Abstraction from Sequential Circuits. DAC 1995: 707-711 |
| 1 | EE | 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 | [1] |
| 2 | Gabriel P. Bischoff | [3] |
| 3 | Karl S. Brace | [3] |
| 4 | Randal E. Bryant | [1] [2] |
| 5 | Alok Jain | [1] [2] |
| 6 | Manish Pandey | [1] |
| 7 | Rahul Razdan | [3] |
| 8 | Gary York | [1] |