Smart JasperGold Formal Verification
Third-generation platform leveraging machine learning technology
GET DETAILS
Key Benefits
- 驱动整个验证流程，从规划到收敛
- 提供报告和记分板功能，用于从管理级别跟踪已确定的项目里程碑
- 对测试用例进行分析和排名，以提高回归效率并优化服务器场利用率
- 缩短总体修复故障的迭代运行时间，以优化收敛效率
- 通过实现团队、服务器集群和不同地理位置办公站点之间的执行和结果汇总自动化，减少总体回归环境维护
- 基于计划提供有关验证完整性的客观反馈，支持以数据为驱动的项目进度安排和资源分配决策
- 将 Xcelium、JasperGold、Palladium 和 Protium 平台的验证收敛指标汇总在一个统一的直观界面内
- High Availability 功能同时支持多用户、多引擎、多项目和多站点设计
2004 年，vManager 产品是业界首个开创了验证规划和管理先河的商业解决方案，该解决方案可自动执行复杂验证项目的端到端管理——从目标设定到收敛。Cadence® vManager™ Verification Management 已经发展到了第四代，引入了High Availability功能，除了可扩展的稳健数据管理技术外，还可提供专为验证流程打造的各种功能。vManager Platform 使验证从以仿真器为中心的单点工具活动演变为以团队为基础的验证流程，范围扩大到多个学科和地理位置，并且其架构支持在云中进行扩展。
vManager 平台可在模块、芯片、系统和项目级别自动执行验证过程，从而自动管理从设计规格文档到验证执行再到完成交付的各项活动。易于采用的回归管理和故障分类功能提高了运行效率，消除了耗时且繁琐的数据组织任务。内置的自动化功能可用于创建报告、通过电子邮件发送结果以及生成调试数据，从而进一步提高工作效率，确保将工程资源用于解决实际的设计和验证问题。
用户可以利用 vManager 平台的验证计划 (vPlan) 功能来启用闭环验证流程。专门用于验证的编辑功能集包括直接将 vPlan 连接到规格文档，以及针对验证指标与产品的功能进行点击映射。vPlan 可以使用 Cadence Verification Suite 内的引擎所生成的数据进行标注，包括 Cadence Xcelium™ Logic Simulator、Cadence JasperGold® Formal Verification Platform、Cadence Palladium™ Emulation Platform 和 Cadence Protium™ Prototyping Platforms。vManager 平台还可以与 OpsHub Integration Manager（一种商业应用生命周期管理 (ALM) 解决方案）连接，从而支持将产品缺陷和产品需求数据与 JIRA、JAMA 和 Doors 等第三方系统实现同步。如此一来，用户可以消除由复杂而分散的产品验证、产品需求、产品缺陷等数据带来的主观性。
Resource Library
Video (16)
- CadenceTECHTALK: Successful IC Verification Program Management Using Data
- Metric Driven Verification Set up for Mixed Signal Verification Based on Cadence AMS and vManager Platforms
- Top Level Mixed-Signal Verifications Using Cadence vManager platform and Virtuoso ADE Verifier
- Verification Enhances Confidence in Defense Program Success
- Introduction to vManager High Availability Architecture
- Cadence Delivers Verification Throughput
- Improving Predictability, Productivity, and Quality in Mixed-Signal Verification
- Get Your Projects Back on Track with vManager Verification Management
- Cadence vManager Platform in Use at NXP
- Quick Coverage Closer with JasperGold UNR App. A Deep-Dive Session.
- Verification Management and Metric-Driven Verification with vManager High Availability Architecture
- Verification Management and Metric-Driven Verification with the vManager High Availability Architecture
- ST Optimizes Verification Across the Globe with Cadence vManager Platform
- Freescale Tracks Thousands of Simulations Before Tapeout for Bug-Free Silicon
Webinar (8)
- CadenceTECHTALK: Successful IC Verification Program Management Using Data
- Introduction to vManager High Availability Architecture
- Improving Predictability, Productivity, and Quality in Mixed-Signal Verification
- Quick Coverage Closer with JasperGold UNR App. A Deep-Dive Session.
- Verification Management and Metric-Driven Verification with vManager High Availability Architecture
- Verification Management and Metric-Driven Verification with the vManager High Availability Architecture
Press Releases (10)
- Cadence Automotive Reference Flow Certified by Samsung Foundry for Advanced-Node Design Creation
- Cadence Verification Suite Enabled on Arm-Based HPC Datacenters
- Cadence Achieves TÜV SÜD’s First Comprehensive “Fit for Purpose - TCL1” Certification in Support of Automotive ISO 26262 Standard
- Cadence Ushers in New Era of Datacenter-class Emulation with Palladium Z1 Enterprise Emulation Platform
- Cadence Announces Next-Generation JasperGold Formal Verification Platform
- Media Alert: Cadence to Showcase System Design and Verification Solutions at DVCon US 2015
- M31 Technology Adopts Cadence Verification IP to Achieve 2.5X Faster Verification
- Cadence Perspec System Verifier Delivers Up to 10X Productivity Improvement in System-on-Chip Verification
- Cadence Introduces Automotive Functional Safety Verification Solution, Reducing ISO 26262 Compliance Preparation Effort by up to 50 Percent
- Cadence Redefines Verification Planning and Management with Incisive vManager Solution
Customer Presentation (3)
Datasheet (1)
Customers
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
The vManager platform allows us to merge and analyze our latest cores’ databases on a scale never before possible, improving our productivity and providing faster time to market.
Ran Snir, VLSI Director, CEVA
Training
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
