A Recipe for swift Tape-out of Derivative SoCs: A Comprehensive Validation Approach using Formal-based Sequential Equivalence and Connectivity Checking

Author(s):
Priyanshu Jain, Saket Gaddagi, Sandeep Kumar and Ipshita Tripathi
Location:
India
Year:
2022
Type:
Presentation
Format:
pptx