Tim Blackmore, Infineon Technologies

Infineon Technologies

 

 

 

Name: Tim Blackmore
Designation: Senior Staff Engineer in Verification, Infineon Technologies.
Challenges:  To be dicussed on that day

Biography:

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

Book you place for 2012: