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

Aman Kumar, Sebastian Simon

Nowadays, a majority of System-on-Chips (SoCs) make use of Intellectual Property (IP) in order to shorten development cycles. When such IPs are developed, one of the main focuses l…