Statistics
Publications
2
Citations
91
H-Index
2
Active since
1995
R.V. Jawalekar is an author at IBM Research - Almaden specializing in design automation, testing, and computer science.
Publications per year
1995–2002
2
2
Architectural verification of processors using symbolic instruction graphs
Ashok K. Chandra, V. Iyengar, R.V. Jawalekar et al. · 2002 · 17 citations
1–2 of 2