A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs

Author(s):
Aman Kumar, Sebastian Simon
Location:
United States
Year:
2021
Type:
Paper
Format:
pdf
Download