| 1998 |
|---|
| 4 | EE | Jainendra Kumar,
Carl Pixley:
Logic and Functional Verification in a Commercial Semiconductor Environment.
ACSD 1998: 8-15 |
| 1997 |
|---|
| 3 | EE | Jainendra Kumar:
Prototyping the M68060 for Concurrent Verification.
IEEE Design & Test of Computers 14(1): 34-41 (1997) |
| 1996 |
|---|
| 2 | | Carl Pixley,
Noel R. Strader,
W. C. Bruce,
Jaehong Park,
Matt Kaufmann,
Kurt Shultz,
Michael Burns,
Jainendra Kumar,
Jun Yuan,
Janet Nguyen:
Commercial Design Verification: Methodology and Tools.
ITC 1996: 839-848 |
| 1995 |
|---|
| 1 | EE | Jainendra Kumar,
Noel R. Strader,
Jeff Freeman,
Michael Miller:
Emulation verification of the Motorola 68060.
ICCD 1995: 150- |
