ST-Microelectronics, then ST-NXP-Wireless, then ST-Ericsson
- Physical implementation / middle end engineer
2004 - maintenant- Equivalence checking expert (on Formality & LEC)
- TCL huge scripts (SVF2LEC translator 2011 / Low power isolation kit 2004->2009 / IP package verification kit, Clock tree analysis, etc..)
- Place & route (1 year experience on vidcore subsystem)
- Synthesis/dft kit development & support
- In charge of Low power checks on top SOCs 8815* 8820* 8500*
- In charge of Equivalence checking on top SOCs 8810* 8815* 8820* 8500* 9600 8540 9540
- Conferences performed multi-site on Equivalence checking