o Logic is doubling
o Non-functional logic needs to be verified as well (low-power, analog parts)
o From component to multi-chip + HW/SW
o Wireless world is driving industry standards (MIPI, …)
Biography: Thomas joined micro-electronic as a formal verification engineers in the late 90’s. In 2005, he joined the wireless design community as a verification manager. He’s been exposed to the very fast evolution of the verification world, from standard testbenches to constrain-random approach, and tackling low-power verification challenges. He’s now design manager in ST-Ericsson, responsible for the digital SOC designs of the company.