Technology Leadership with the Cadence Verification Suite
Over the past decade, verification complexity and demands on engineering teams have continued to raise rapidly. However, the supporting automation tools and flows have in the past only improved incrementally, resulting in a verification gap.
The upgraded Cadence® Verification Suite augments the market and the technology-leading JasperGold® Formal Verification Platform and Palladium® Z1 Enterprise Emulation System with two new engines to speed up project execution: the Xcelium™ Parallel Simulator and the Protium™ S1 FPGA-Based Prototyping Platform.
Delivering Shortest Turnaround Time and Predictable Quality
As electronic products across all market segments become more sophisticated, developing their underlying hardware and software, and integrating the two sides, continues to grow more complex. Early software development, hardware verification, hardware/software integration, and integrated system validation have become primary challenges, increasing development costs, project schedules, and risks.
Using the Cadence Verification Suite, you can reduce system integration time by up to 50%, accelerating intellectual property (IP) development, system-on-chip (SoC) integration, and concurrent hardware/software development. This verification suite is comprised of core engines, verification fabric technologies, and solutions spanning these technologies, as shown in Figure 1.
Core engines, each developed to provide best-in-class technology, include:
- Formal: JasperGold Formal Verification Platform, Incisive® Formal Verification, Incisive Enterprise Verifier
- Simulation: Xcelium Parallel Simulator, Incisive® Enterprise Simulator, Incisive Specman® Elite
- Emulation: Palladium Z1 Enterprise Emulation Platform, Palladium XP II Verification Computing Platform, and Palladium XP Verification Computing Platform
- FPGA Prototyping: Protium S1 FPGA-Based Prototyping Platform, Protium FPGA-Based Prototyping Platform
Verification fabric technologies include Verification IP, the vManager™ Metric-Driven Signoff Platform, Indago™ Debug Platform, and the Perspec™ System Verifier’s software-driven testing. We developed these technologies to provide a flow-driven multi-engine verification.
Solutions in the Verification Suite include total throughput for the shortest project schedule, metric-driven signoff for quality, and an application-centric focus to meet the needs of products for mobile, networking and servers, automotive, consumer and internet of things (IoT), aerospace and defense, and other vertical segments.
Our Verification Suite technologies, flows, and solutions support a broad range of industry standards, are open for third-party integration, and are further augmented by our ecosystem partners, including ARM and many others.
The Palladium Z1 platform uniquely met our requirements due to its reliability as a datacenter compute resource, offering advanced multi-user capabilities and scalability from small four-million-gate verification payloads to multi-billion gate designs.
Daniel Diao, Deputy General Manager of the Turing Processor Business Unit, Huawei
The ability to use the same bring-up flow for Palladium emulation and Protium rapid prototyping allows our design teams to switch seamlessly between the two execution engines, which reduces the prototype bring-up time from months to weeks.
Hideya Sato, Deputy Executive GM, Hitachi, LTD
The Incisive vManager solution has been very well accepted by our design and verification teams because it’s really straightforward, intuitive, and easy to use. The Incisive vManager solution helps us with project visibility, which improves our verification productivity.
Mirella Negro Marcigaglia, Verification Manager, STMicroelectronics