Maximizing Formal ROI through Accelerated IP Verification Sign-off Author(s): Scott Peverelle, Hao Chen, Kamakshi Sarat Vallabhapurapu, Rosanna Yee, Hee Chul Kim, Johann Te, and Jacob Hotz Download