Jainendra Kumar

According to our database, Jainendra Kumar authored at least 4 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1998

Logic and Functional Verification in a Commercial Semiconductor Environment.

Jainendra Kumar, Carl Pixley

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Prototyping the M68060 for Concurrent Verification.

Jainendra Kumar

IEEE Des. Test Comput., 1997

1996

Commercial Design Verification: Methodology and Tools.

Carl Pixley, Noel R. Strader, William C. Bruce, Jaehong Park, Matt Kaufmann, Kurt Shultz, Michael Burns, Jainendra Kumar, Jun Yuan, Janet Nguyen

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

1995

Emulation verification of the Motorola 68060.

Jainendra Kumar, Noel R. Strader, Jeff Freeman, Michael Miller

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995