Choose Your Location > > A Recipe for swift Tape-out of Derivative SoCs: A Comprehensive Validation Approach using Formal-based Sequential Equivalence and Connectivity Checking
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
