Emulation verification of the Motorola 68060. - Jainendra Kumar; Noel R. Strader; Jeff Freeman; Michael Miller (ICCD, 1995)

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 007; Janet Nguyen (ITC, 1996)

Prototyping the M68060 for Concurrent Verification. - Jainendra Kumar (IEEE Des. Test Comput., 1997)

Logic and Functional Verification in a Commercial Semiconductor Environment. - Jainendra Kumar; Carl Pixley (ACSD, 1998)