Old Web
English
Sign In
Acemap
>
authorDetail
>
Jainendra Kumar
Jainendra Kumar
Motorola
Intelligent verification
High-level verification
Computer science
Software verification
Verification
4
Papers
54
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Logic and functional verification in a commercial semiconductor environment
1998
ACSD | International Conference on Application of Concurrency to System Design
Jainendra Kumar
Carl Pixley
Show All
Source
Cite
Save
Citations (2)
Prototyping the M68060 for concurrent verification
1997
IEEE Design & Test of Computers
Jainendra Kumar
Show All
Source
Cite
Save
Citations (15)
Commercial design verification: methodology and tools
1996
ITC | International Test Conference
Carl Pixley
Noel R. Strader
W. C. Bruce
Jaehong Park
Matt Kaufmann
Kurt Shultz
Michael Burns
Jainendra Kumar
Jun Yuan
Janet Nguyen
Show All
Source
Cite
Save
Citations (18)
Emulation verification of the Motorola 68060
1995
ICCD | International Conference on Computer Design
Jainendra Kumar
Noel R. Strader
Jeff Freeman
Michael Miller
Show All
Source
Cite
Save
Citations (19)
1