In a world of increasing security challenges to microelectronic devices, emerging industry standards and new defense policy require more advanced verification for an IC to be deployed in an end product or system. OneSpin tools, now part of the Siemens EDA portfolio, have technologies built upon world class formal engines and provide results desired for microelectronics quantifiable assurance (MQA). In this session we will introduce apps that provide an automated assessment platform, perform processor verification, and offer completeness checking for this very complex IC integrity challenge.