Infineon Technologies

Name:Tim Blackmore
Designation:Senior Staff Engineer in Verification, Infineon Technologies.
  • How do we make verification more agile to changing requirements?
  • How do we get to the point where there are fewer bugs in the verification environment than in the design?
  • How do we make the most of our simulation cycles?


Tim is shortly due to return from a year in Bangalore where he is working on methodology improvements for verification and validation of IP for Infineon’s Aurix family of microcontrollers.  Prior to this he was CPU verification lead for Infineon’s TriCore performance cores. He has around 12 years experience in verification, including several years as a formal verification expert within Infineon.  He has published on verification and formal methods in several conferences, including DAC, DesignCon, DVCon and iFM, and has served on the Technical Panel Committee for DesignCon.  He has also published in leading journals on Information Theory and Mathematics and has a Ph.D. in Pure Mathematics.

Verification Futures Conference Presentation                Video Presentation