Statistics
Publications
1
Citations
84
H-Index
1
Active since
1998
Affiliations
IBM Research - Haifa(Current)
Eran Harel is an author at IBM Research - Haifa specializing in formal methods, computer engineering, and design verification.
Publications per year
1998–1998
1
1
User defined coverage---a tool supported methodology for design verification
Raanan Grinwald, Eran Harel, Michael Orgad et al. · 1998 · 84 citations · Full text
1–1 of 1