Smart JasperGold Formal Verification
Third-generation platform leveraging machine learning technology
GET DETAILS
Key Benefits
- プランニングからクロージャ―までの完全な検証プロセスの推進
- 定義されたプロジェクトマイルストーンを管理レベルで追跡するためのレポートおよびダッシュボード機能
- リグレッションの効率を向上させ、計算機リソース使用を最適化するための、テストの分析/ランク付け機能
- 誤り修正のためのPDCAサイクルのターンアラウンドタイムを短縮し、バグ取りの生産性の最適化
- チーム/ファーム/サイト間での実行と結果の集計を自動化による、リグレッション環境の全体的なメンテナンスの軽減
- 計画に対する検証の完成度の客観的にフィードバックによる、データに基づいたスケジュールとリソースの決定支援
- 直感的なインターフェースを使用した、Xcelium、Jasper、Palladium、Protiumの各プラットフォームにまたがる、検証クロージャメトリクスの集約化
- ハイアベイラビリティ機能による、マルチユーザー、マルチエンジン、マルチプロジェクト、マルチサイトの設計のサポート
- ケイデンスの機能安全ソリューションの一部であるvManager Safetyによる、アナログおよびデジタル領域での安全検証に対応したフォールトキャンペーン管理および必要な機能安全文書の自動レポーティング
vManager は、複雑な検証プロジェクトの計画から終了までのエンド・ツー・エンドの管理を自動化する業界初の商用ソリューションとして、2004 年に、検証の計画/管理ソリューションとしてリリースされました。その第4世代となる最新バージョンでは、ハイアベイラビリティ機能の導入により、Cadence® vManager™ Verification Managementは、スケーラブルで堅牢なデータ管理技術をベースに、さまざまな検証に特化した機能を提供します。vManagerプラットフォームは、複数の検証エンジンの活用や物理的に別々の検証作業場所、更にはクラウドへの拡張も可能な構造を持ち、シミュレーション中心の個人単位の検証から、チームベースの検証へと検証をシフトさせることで生産性を向上させます。
vManagerプラットフォームは、ブロックレベルから、チップ、システム、プロジェクトレベルでの検証プロセスを自動化し、仕様策定から実行、サインオフまでのアクティビティを自動で管理します。簡単に導入できるリグレッション管理とバグトリアージ機能は、時間のかかる面倒なデータ整理作業を排除し、生産性を向上させます。また、レポートの作成、結果の電子メール送信、デバッグデータの生成などの自動化機能が搭載されているため、生産性がさらに向上し、設計・検証上の真の問題解決にエンジニアリングリソースを投入することができるようになります。
vManagerプラットフォームの検証プラン（vPlan）機能を利用することで、クローズドループの検証を実現することができます。検証に特化したオーサリング機能には、vPlanを仕様書に関連付けする機能や、検証メトリクスをデバイスの機能にポイント＆クリックでマッピングする機能などがあります。vPlanには、 Xcelium™ Logic Simulator、 JasperGold® Formal Verification Platform、Palladium™ Emulation Platform、 Protium™ Prototyping PlatformsなどのCadence Verification Suite内のエンジンが生成したデータをアノテーションすることができます。また、vManagerプラットフォームは、商用のアプリケーション・ライフサイクル・マネジメント（ALM）ソリューションであるOpsHub Integration Managerとの接続が可能であり、JIRA、JAMA、Doorsなどのサードパーティ・システムとバグや要件のデータを同期させることができます。これにより、複雑でバラバラな検証データ、要求データ、バグデータに起因する主観性を排除することができます。
Resource Library
Video (16)
- Cadence Delivers Verification Throughput
- Metric Driven Verification Set up for Mixed Signal Verification Based on Cadence AMS and vManager Platforms
- Automating Connection of Verification Plans Requirements - OpsHub Integration Manager and vManager Verification Management
- Audience-Specific Regression Data Distillation and Presentation with vManager Verification Management
- Top Level Mixed-Signal Verifications Using Cadence vManager platform and Virtuoso ADE Verifier
- Verification Enhances Confidence in Defense Program Success
- CadenceTECHTALK: Successful IC Verification Program Management Using Data
- Introduction to vManager High Availability Architecture
- Improving Predictability, Productivity, and Quality in Mixed-Signal Verification
- Are We Done Yet? How to Get an Overview on The Status of The Analog Verification
- Get Your Projects Back on Track with vManager Verification Management
- Verification Management and Metric-Driven Verification with the vManager High Availability Architecture
- Cadence vManager Platform in Use at NXP
- 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
Customers Success (9)
- Metric Driven Verification Set up for Mixed Signal Verification Based on Cadence AMS and vManager Platforms
- SVG14 : Integration of "vManager" with Industry standard “DOORsNG” to address requirement traceability
- SVG09 : Multi-Project, Multi-Site, Multi-Server: Deploying vManager in a Truly Global Organization
- SVG10 : Automated Generation of Verification Charts Using vManager and Highcharts Library
- Top Level Mixed-Signal Verifications Using Cadence vManager platform and Virtuoso ADE Verifier
- Verification Enhances Confidence in Defense Program Success
- Renesas and Cadence: Building a State-of-the-Art Verification Environment Customer Success Story
- Renesas Deploys Cadence Interconnect Workbench, vManager Metric-Driven Verification, and Palladium Z1 Emulation Platform
Datasheet (1)
Press Releases (14)
- ケイデンス、モバイルデバイス向けシリコンの成功を加速するため、Armとの協業を拡大 | Cadence
- 次世代Armプレミアムモバイルプラットフォーム設計のテープアウトに向けてArm社と協業 | Cadence
- Cadence Automotive Reference Flow Certified by Samsung Foundry for Advanced-Node Design Creation | Cadence
- Cadence Verification Suite Enabled on Arm-Based HPC Datacenters | Cadence
- Cadence Achieves TÜV SÜD’s First Comprehensive “Fit for Purpose - TCL1” Certification in Support of Automotive ISO 26262 Standard | Cadence
- ケイデンス、自動車機能安全規格ISO 26262に対応する業界初の包括的なTCL1ドキュメントを提供 | Cadence
- ルネサス エレクトロニクス、ケイデンスのInterconnect Workbenchを採用し、オンチップインターコネクトのパフォーマンス解析および検証を加速 | Cadence
- Cadence Ushers in New Era of Datacenter-class Emulation with Palladium Z1 Enterprise Emulation Platform | Cadence
- Cadence Announces Next-Generation JasperGold Formal Verification Platform | Cadence
- Media Alert: Cadence to Showcase System Design and Verification Solutions at DVCon US 2015 | Cadence
- M31 Technology Adopts Cadence Verification IP to Achieve 2.5X Faster Verification | Cadence
- Cadence Perspec System Verifier Delivers Up to 10X Productivity Improvement in System-on-Chip Verification | Cadence
- Cadence Introduces Automotive Functional Safety Verification Solution, Reducing ISO 26262 Compliance Preparation Effort by up to 50 Percent | Cadence
- Cadence Redefines Verification Planning and Management with Incisive vManager Solution | Cadence
Webinar (5)
- CadenceTECHTALK: Successful IC Verification Program Management Using Data
- Introduction to vManager High Availability Architecture
- Improving Predictability, Productivity, and Quality in Mixed-Signal Verification
- Verification Management and Metric-Driven Verification with the vManager High Availability Architecture
- Verification Management and Metric-Driven Verification with the vManager High Availability Architecture
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
