Case Study by STMicroelectronics:

Optimizing Register Map Verification

with Cadence Jasper CSR Formal App & UVM

Comparing Jasper CSR Formal App with UVM for Time, Coverage & Bugs Found