Ofer Peled is an author at IBM Research - Haifa specializing in software analysis, computer architecture, and engineering.
Top concepts
EngineeringVerificationSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2004–2005
2
2
Piparazzi: a test program generator for micro-architecture flow verification
Allon Adir, Eyal Bin, Ofer Peled et al. · 2004 · 17 citations
Engineering, Hardware Verification Language, Verification +19
Rows per page
1–2 of 2