The Cadence VIP Catalog offers two solutions for advanced compliance verification, the Compliance Management System (CMS), and PureSuite.
CMS provides parameterized test sentences for exploring the coverage space in a constrained-random simulation environment. Users set constraints to guide the generation of random test sequences to explore areas of interest. Tight correlation between functional coverage results and the protocol specification make it easy to interpret results and identify coverage holes.
PureSuite provides an extensive library of directed compliance tests that are easy to implement. The quick bring-up reduces time-to-first-test and the large test suite provides extensive compliance testing.
The CMS provides a protocol-specific, metric-driven verification environment that includes:
- Executable verification plan mapped to the protocol specification
- Library of constrained random tests to isolate DUT corner cases
- Integrated coverage model to grade verification completeness
- Compliance checks and metrics to identify DUT verification gaps
Protocol compliance starts with the Verification Plan (vPlan). All verification objectives are captured in the vPlan and correlated to the protocol specification on a paragraph by paragraph basis.
A library of constrained-random test sequences then stimulates the design-under-test with multiple parameter combinations for each coverage point of interest. This results in more exhaustive verification than running a large set of non-randomized validation tests.
Results from multiple simulation runs are integrated and graphically displayed in the vPlan window. Cumulative coverage vs. plan is displayed and any coverage gaps are clearly identified. The verification engineer then adjusts the test generation constraints to focus additional test sequences on the coverage points of interest.
Project management is facilitated through various reports and charts which measure progress vs. plan. Early warning is thus provided for schedule deviations and resource limitations.
CMS Example: AMBA AXI vPlan showing coverage resulting from multiple simulation runs.
Each PureSuite test is designed to cover specific compliance checklist items, and each test includes a detailed description of purpose, assumptions, scenario, and expected results. Tests are driven from the VIP across the protocol interface toward the design under test, or can be initiated from the application interface of the design. Capabilities include:
- Thousands of pre-built tests for exercising specific functionality & corner cases
- Matched to the protocol's compliance checklist
- Error recovery testing
- All protocol layers & key state machines covered
- Configurable based on design-under-test (DUT) implementation & target device selection
- Context-sensitive test selection
- Specification & test coverage generation
- Cumulative coverage reporting
"We brought up the CMS compliance test suite in our verification environment in just a day. Our team was impressed with the rapid results. We identified a number of failures right away and we’re now working to dramatically expand our regression runs to take full advantage of the CMS."
Test and Verification Manager, ClearSpeed
To learn more about the benefits of the Compliance Management System, read the ClearSpeed Success Story and view the CMS Demo Video