Maximizing Formal ROI through Accelerated IP Verification Sign-off

Author(s):
Hao Chen, Kamakshi Sarat Vallabhapurapu, Scott Peverelle, Rosanna Yee, Hee Chul Kim, Johann Te, and Jacob Hotz
Location:
United States
Year:
2022
Type:
Paper
Format:
pdf