10
Publications
602
Citations
10
H-Index
1995
Active since
Affiliations
Gil Shurek is an author at IBM Research - Haifa specializing in computer engineering, computer science, and computer architecture.
Top concepts
EngineeringComputer ScienceComputer EngineeringComputer ArchitectureVerificationFormal MethodsHardware SecurityFormal VerificationSoftware TestingSoftware Analysis
Publications per year
1995–2011
10
10
Test program generation for functional verification of PowerPC processors in IBM
Aharon Aharon, Dave Goodman, Moshe Levinger et al. · 1995 · 164 citations
Constraint-Based Random Stimuli Generation for Hardware Verification
Y. Naveh, Michal Rimon, Itai Jaeger et al. · AI Magazine · 2007 · 85 citations
Artificial Intelligence, Engineering, Hardware Verification Language +21
A unified methodology for pre-silicon verification and post-silicon validation
Allon Adir, Shady Copty, Shimon Landa et al. · 2011 · 62 citations
Constraint-based random stimuli generation for hardware verification
Y. Naveh, Michal Rimon, Itai Jaeger et al. · 2006 · 50 citations
Artificial Intelligence, Engineering, Hardware Verification Language +19
Rows per page
1–5 of 10