Metrics Driven Sign-off for SoC Specific Logic (SSL) Using Formal Techniques

Author(s):
Abhinav Gaur, Gaurav Jain, Ruchi Singh
Location:
United States
Year:
2021
Type:
Paper
Format:
pdf