Shady Copty is an author at IBM Research - Austin specializing in formal methods, computer engineering, and hardware security.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceMicroelectronicsSoftware TestingHardware SecurityDesign For TestingFormal VerificationComputer Engineering
Publications per year
2011–2011
1
1
A unified methodology for pre-silicon verification and post-silicon validation
Allon Adir, Shady Copty, Shimon Landa et al. · 2011 · 62 citations
Rows per page
1–1 of 1