Verification IP – PureSpec

Denali PureSpec™ is the industry's most comprehensive protocol validation and planning solution for predictable verification of complex interfaces (e.g., PCI Express, USB, PLB, etc.). PureSpec features a hierarchical and configurable test plan, coverage, sequences and constraint libraries, and enables coverage-driven verification closure, verification planning via third-party verification planners. PureSpec verification solution includes a configurable bus functional model, protocol monitor, and complete assertion library for all components in the topology. PureSpec additionally provides an integrated data generation engine to help drive defined, constrained-random sequences/scenarios bus traffic at all layers. PureSpec supports all SoC interface standards and leverages its proven VIP architecture to provide unmatched quality, performance, and EDA tool integration.

Evaluate PureSpec