- All Products
- Software Integrity
- Semiconductor IP
- Verification
- Design
- Silicon Engineering
- Application Security Services
- Dynamic Analysis (DAST)
- Mobile Application Security
- Penetration Testing
- Managed Static Analysis
- All Services
- Software Security
- Silicon Design
- Community
- About Us
< All Products
< All Products
< All Products
< All Products
< All Products
< All Products
< overview
All Products
+ Software Integrity + Semiconductor IP + Verification + Design + Silicon Engineering + Optical Solutions< Software Integrity
< Software Integrity
Application Security Services
Dynamic Analysis (DAST) Mobile Application Security Penetration Testing Managed Static Analysis< Software Integrity
< Software Integrity
< Software Integrity
Blog
< Software Integrity
Support
< overview
Software Integrity
+ Application Security Products + Application Security Services + Resources + Training & Education Blog Support< Semiconductor IP
< Semiconductor IP
Memories & Libraries
Logic Libraries Memory Compliers Duet Packages HPC Design Kit Embedded Test & Repair Non-Volatile Memory< Semiconductor IP
< Semiconductor IP
Processor Solutions
ARC Processors Embedded Vision Processors Development Tools Operating Systems Ecosystems ASIP Tools< Semiconductor IP
< Semiconductor IP
< Semiconductor IP
< Semiconductor IP
< Semiconductor IP
< overview
< Verification
< Verification
< Verification
< Design
< Design
< Design
< overview
< Silicon Engineering
< overview
< main menu
< Solutions
< Solutions
Industry Solutions
Automotive Cloud Computing Financial Services Industrial Controls Systems Healthcare Mobile Devices< Solutions
< overview
< All Services
< All Services
< All Services
< overview
< Software Security
Software Security Professional Services
Embedded Software Testing Insider Threat Detection Red Teaming Secure Coding Guidelines Software Architecture & Design Thick Client Testing< Software Security
Managed Services
< Software Security
Program Development & Design
Maturity Model (BSIMM) Maturity Action Plan (MAP) Policies & Standards Security Metrics Software Security-in-a-Box< Software Security
< Software Security
Support
< overview
< Silicon Design
< Silicon Design
< Silicon Design
< Silicon Design
< main menu
< Community
Community
Community Overview< Community
< Community
< Community
Interoperability
ARC Access HAPS Connect HSPICE Integrator In-Sync System-Level Catalyst TAP-in VC Apps Access< Community
< Community
< Community
< overview
Community
+ Community + SNUG + Partners + Interoperability + Academic Programs + Company Blogs + BSIMM< About Us
< About Us
< About Us
< About Us
< About Us
VC Formal
Next-Generation Formal Verification
SoC design complexity demands newer and better verification methods to accelerate verification and debug, as well as reduce overall schedule duration and improve schedule predictability. VC Formal next-generation formal verification has the capacity, speed and flexibility to verify some of the most difficult SoC design challenges, and includes excellent analysis, filtering and debug techniques to quickly identify root causes. In addition, when applied early in the design schedule, before simulation is available, overall schedule improvements can be realized.
Features and Benefits
- Assertion-Based Verification: Formal proof-based techniques to verify SVA properties or assertions to ensure correct operation across all possible design activity – even before the simulation environment is available. Advanced assertion visualization and property browsing, grouping and filtering allows simple concise access to results.
- Advanced Debug: Advanced debugging interface built on industry standard Verdi-based RTL and waveform visualization solutions, including schematic value annotation for connectivity checking.
- Interactivity: On the fly assertion and constraint editing, proof progress feedback, and cone of influence analysis allows users excellent visibility and control.
- SoC-level Connectivity Checking: Verification of connectivity at the fullchip SoC level. Flexible input format ensures ease of flow integration. Powerful debugging, including value annotation, schematic viewing, source code browsing and analysis reporting speeds analysis. Automatic root-cause analysis of unconnected connectivity checks saves significant debug time.
- Sequential Equivalency Checking: This allows comparison of designs, even after insertion of power gating, or microarchitecture changes.
- Formal Coverage Analysis: Complementing simulation flows, formal technologies can provide proof that uncovered points in coverage goals are indeed unreachable, allowing these to be removed from further analysis— saving manual effort.
- Certitude Integration: Certitude provides unique information to assess the formal environment. Integrated with VC Formal, Certitude can provide meaningful property coverage measurements within the formal environment as part of the formal IP signoff, and can identify any weaknesses in the formal environment such as missing or incorrect properties or constraints.
- Formal Scoreboard: Exhaustively verifies the data integrity of data path designs. Ensures that data is transported through the design without being lost, re-ordered, corrupted or duplicated.