Itai Jaeger is an author at IBM Research - Haifa specializing in computer engineering, computer science, and engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsFormal VerificationIntelligent SystemsComputer ArchitectureArtificial IntelligenceVerification
Publications per year
2003–2007
4
4
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
X-Gen: a random test-case generator for systems and SoCs
R. Emek, Itai Jaeger, Y. Naveh et al. · 2003 · 62 citations
Engineering, Hardware Verification Language, Computer Architecture +20
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–4 of 4