16
Publications
408
Citations
14
H-Index
2009
Active since
Amir Nahir is an author at IBM Research - Haifa specializing in engineering, computer science, and computer architecture.
Top concepts
EngineeringComputer ScienceComputer ArchitectureHardware SecurityComputer EngineeringVerificationSystems EngineeringSoftware TestingFormal VerificationFormal Methods
Publications per year
2009–2015
16
16
A unified methodology for pre-silicon verification and post-silicon validation
Allon Adir, Shady Copty, Shimon Landa et al. · 2011 · 62 citations
Bridging pre-silicon verification and post-silicon validation
Amir Nahir, Avi Ziv, Rajesh Galivanche et al. · 2010 · 39 citations
Hardware Security, Hardware Modeling, Pre-silicon Verification +15
Allon Adir, Maxim Golubev, Shimon Landa et al. · 2011 · 37 citations
Flavio M. De Paula, Amir Nahir, Ziv Nevo et al. · 2011 · 29 citations
Hardware Security, Trace Buffer Information, Unlimited-length Trace Buffer +13
Rows per page
1–5 of 16