Concepedia

Alok Jain

AJ

Statistics

Publications

16

Citations

370

H-Index

12

Active since

1992

Affiliations

Carnegie Mellon University(Current)

Digital Wave (United States)

Pandit Deendayal Petroleum University

Thapar Institute of Engineering & Technology

IBM (United States)

Alok Jain is an author at Carnegie Mellon University specializing in engineering, computer engineering, and computer architecture.

Top concepts

EngineeringComputer EngineeringComputer ArchitectureComputer ScienceMicroelectronicsElectrical EngineeringVlsi DesignFormal MethodsHardware SecurityFormal Verification

Publications per year

1992–2025

16

Publications

16

An Interactive Simulation Tool for Complex Multilayer Dielectric Devices

Richard G. Southwick, Aaron Sup, Alok Jain et al. · IEEE Transactions on Device and Materials Reliability · 2011 · 70 citations

Engineering, Interconnect (Integrated Circuits), Electromagnetic Compatibility +18

A 300 MHz 64 b quad-issue CMOS RISC microprocessor

William J. Bowhill, R. Allmon, Shane Bell et al. · 2002 · 56 citations

Hardware Security, System On Chip, Electrical Engineering +15

Formal verification of an ARM processor

Vinayak Patankar, Alok Jain, Randal E. Bryant · 1999 · 36 citations

Engineering, Hardware Verification Language, Verification +17

Formal hardware verification by symbolic trajectory evaluation

Randal E. Bryant, Alok Jain · 1997 · 25 citations

Engineering, Hardware Verification Language, Verification +20

A hardware-software co-simulator for embedded system design and debugging

Abhijit Ghosh, M. Bershteyn, Ross Casley et al. · 1995 · 24 citations

Hardware Modeling, Engineering, Hardware Emulation +11

1–5 of 16