Smart JasperGold Formal Verification
Third-generation platform leveraging machine learning technology
In 2004, the vManager product pioneered verification planning and management with the industry’s first commercial solution to automate the end-to-end management of complex verification projects—from goal setting to closure. Now in its fourth generation, with the introduction of the High Availability feature, Cadence® vManager™ Verification Management provides capabilities tailored for verification on top of scalable and robust data management technology. The vManager Platform propels verification from a simulation-centric individual tool activity to team-based verification productivity, spans multiple disciplines and geographies, and is architected for expansion into the cloud.
The vManager platform automates the verification process at the block, chip, system, and project level, automating management of activities from spec to execution to signoff. Easy-to-adopt regression management and failure triage features improve productivity, eliminating time-consuming and tedious data organization tasks. Built-in automation for creating reports, emailing results, and generating debug data provide even further productivity, ensuring engineering resources are spent solving real design and verification problems.
Users can enable closed-loop verification by utilizing the verification plan (vPlan) capabilities of the vManager platform. A verification-specific set of authoring capabilities includes directly connecting the vPlan to spec documents as well as point-and-click mapping of verification metrics to device features. The vPlan can be annotated with data generated by engines within the Cadence Verification Suite, including the Cadence Xcelium™ Logic Simulator, Cadence JasperGold® Formal Verification Platform, Cadence Palladium™ Emulation Platform, and Cadence Protium™ Prototyping Platforms. The vManager platform also boasts connection with OpsHub Integration Manager, a commercial application lifecycle management (ALM) solution, enabling it to synchronize defect and requirements data with third-party systems like JIRA, JAMA, and Doors. Using this approach, users can eliminate subjectivity associated with complex and disparate sets of verification, requirements, and defect data.
Press Releases (11)
Customers Success (4)
The vManager platform has been very well accepted by our design and verification teams because it’s really straightforward, intuitive, and easy to use. The vManager platform helps us with project visibility, which improves our verification productivity.
Mirella Negro Marcigaglia, Verification Manager, STMicroelectronics
Get the most out of your investment in Cadence technologies through a wide range of training offerings. We offer instructor-led classes at our training centers or at your site. We also offer self-paced online courses. Overview