application of formal methods to the verification of application processors? In contributing to the development of the... next generation of formal methodologies in this space? The NUVIA-Qualcomm CPU team has some of the best CPU architects and engineers...