Smart JasperGold
Formal Verification
Third-generation platform
leveraging machine learning
technology
SoC Test Generation
with Perspec System Verifier
Supporting portable stimulus
specification 1.0 across the
Cadence Verification Suite
Achieve Dramatic Speed Up in Logic Simulation with Cadence Xcelium, the First Truly Parallel Logic Simulator and Cut FPGA-Based Prototyping Time with Protium S1
Protium S1 Platform
Reduce FPGA-based prototype
bring-up from months to days
Industry's first production-proven multi-core simulator
-
System Design and Verification Flows
-
Emulation
-
Debug Analysis
-
Formal and Static Verification
-
FPGA-Based Prototyping
-
Planning and Management
-
Simulation and Testbench Verification
-
Software-Driven Verification
-
Verification IP
Technology Leadership with the Cadence Verification Suite
Over the past decade, verification complexity and demands on engineering teams have continued to rise rapidly. Applying innovative solution flows, automation tools, and best-in-class verification engines is necessary to overcome the resulting verification gap.
The Cadence® Verification Suite combines the market- and technology-leading JasperGold® Formal Verification Platform, Palladium® Z1 Enterprise Emulation, the Xcelium™ Parallel Simulator, and the Protium™ S1 FPGA-Based Prototyping Platform with fabric technologies across the core engines.
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 IP development, system-on-chip (SoC) integration, and concurrent hardware/software development. The 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
- Simulation: Xcelium Parallel Logic Simulator, Specman® Elite
- Emulation: Palladium Z1 Enterprise Emulation Platform
- FPGA Prototyping: Protium S1 FPGA-Based Prototyping Platform
The verification fabric provides automation, debug, tracking, management, and measurement of verification tasks across verification flows and engines, which improves productivity and increases team collaboration and productivity.
Verification fabric technologies include:
- Protocol verification: Verification IP
- Metric-driven verification: vManager™ Metric-Driven Signoff Platform
- Design and verification debug: Indago™ Debug Platform
- Portable use-case stimulus: Perspec™ System Verifier
Solutions in the Verification Suite are predefined flows and best practices to address common challenges, including total throughput for the shortest project schedule, metric-driven signoff for quality, and application-specific challenges for mobile, networking and servers, automotive, consumer and internet of things (IoT), aerospace and defense, and other vertical segments.
Our Verification Suite engines, fabric technologies, 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.
Resource Library VIEW ALL
Video (161)
- Performance and Debug – Get Both, Using Specman
- Early Firmware Development on Palladium and Protium, Enables 1st Silicon Success at Toshiba Memory
- Writing Sequences Tips
- Virtual Sequences
- Sequences 101
- Specman - 5 minutes on Methods Extensions
- Specman Temporal Options
- Specman Performance Enhancement
- Cadence Functional Safety Solution
- Firmware Development and Pre-silicon Verification with FPGA-based Prototyping
- UVM Multi-language with e, SystemVerilog, SystemC, C/C++
- Hardware Solutions for FPGA-based Prototyping
- UVM SystemVerilog in a Multi-Language SoC World
- UVM-Acceleration, Assertions and Coverage demo
- Tuning Your UVM Environment for Maximum Performance
- Testing The Testbench
- Musings on Advanced Functional Verification with Specman/e in FPGA for Medical Devices
- Cadence Palladium for SoC Performance Validation and Analysis
- Texas Instruments - Highly Scalable Multicore ARM A15 Verification with Specman/e
- Speed Verification Turnaround by Extending MDV to TLM
- Dancing Robots! @CDNLive EMEA 2014
- Cadence Perspec System Verifier SW Driven SoC Verification Automation
- Palladium XP Introduction
- Emulating Nvidia GPUs
- Fast Debug of RTL, Speedy Post Analysis
- Accelerate Your Verification Debug with the Incisive Debug Analyzer
- Incisive vManager Solution - Experience the Difference
- System Level Low Power Verification Using Palladium and CPF
- Broadcom Faster System Bring Up with an Embedded Test Bench on Palladium
- Contemporary Verification Consultants e-asing your verification pains with IEEE 1647 & IES
- Freescale Best Practice in Verification Planning
- Leveraging SystemVerilog Real Number Modeling
- In-Circuit Acceleration Demo Full Version
- Connecting SystemVerilog Real Numbers and Verilog-AMS Nets
- Enabling Verification of Complex System Scenarios Using Perspec System Verifer
- JasperGold Formal Apps for Design Bring-up
- Is End-to-End Formal Complete?
- Delivering High Quality Denver IP Utilizing IP Acceleration
- Using Palladium Platform to Exhaustively Verify a Configurable Coherent NoC IP
- Pre and Post Silicon Verification: The Best of Both Worlds
- Case Studies for Successful FPGA Based Prototyping
- Verification Solutions for ARM v7/v8 Based Systems on Chip
- Big FPGA Boards for ASIC Prototyping
- Next-Generation JasperGold Formal Verification Platform
- Low Power Verification USING CPF/IEEE 1801 and Application of Formal Verification at Chip Level
- Hardware Solutions for FPGA-Based Prototyping
- Using Palladium/VSP Hybrid to Accelerate SW Development
- FPGA Prototyping Enables Rapid Development of Customizable Processors
- Emulating a Dual-Port 10G/40G NIC on Palladium and RPP
- Better Verification Performance with Incisive Enterprise Simulator
- Best Practices in Verification Planning
- 5 Steps to Your First Power Shut-off (PSO) Verification
- Low-Power Verification Using Conformal Low-Power
- Leveraging a System-C Based Design Flow
- High-Level Synthesis: a Winning Technology
- PMC - Power Estimation – An Evolving Science
- Introducing Low-power Verification RAK
- Design Challenges in Developing Sub-Volt IP Designs for IoT Applications
- NVIDIA - Palladium/VSP ARM v8 Tegra Hybrid
- Imagination - The Ten Myths about Formal
- One Metric to Rule Them All? Tracking Progress on Formal Testbenches
- SoC Static Power Verification with Encounter Conformal Low Power
- Achieve Dramatic Speed-Up in Logic Simulation with Xcelium Parallel Simulator
- A Look at Cadence System Development Tools
- Hitachi: Faster Bring Up with Protium Platform
- Accellera Portable Stimulus Standard Introduction and Demo; Part 3 of 3 - Conclusions
- Faster Debugging with X-Propagation Simulation and SimVision Debug Capabilities in Incisive Platform
- The Benefits of Running the Xcelium Parallel Logic Simulator on Cavium’s Arm Based ThunderX2
- Finding Difficult Bugs Early Via Emulation
- New Key Features of Xcelium for Advanced Mixed-Signal Verification
- Accellera Portable Stimulus Standard Introduction and Demo; Part 1 of 3 – Introduction
- Pedestrian Detection: Cadence Tensilica IVP DSP on Cadence Protium FPGA-based prototyping platform
- Faster HW/SW Debug, Embedded Software Development and System Validation
- Specman Tips & Tricks: Save, Restart & Dynamic Load with Specman
- NVIDIA Handles Complexity with Palladium Z1 Platform
- Car window anti-trap protection with the Cadence Zynq-7000 Virtual Platform
- NXP Shortens Verification Cycle for Smart Card SoC
- Easing Embedded Software Development for Complex SOCs
- MultiPhy Verifies Diverse Blocks Quickly with Specman + MATLAB Flow
- Faster HW/SW Verification and Bring-up with Hybrid Virtual Platform
- Detecting System-Level Corner Cases During Low-Power SoC Verification
- Plan-Driven Low-Power Verification and Debugging at STMicroelectronics
- Get Great Results with JasperGold CDC
- Freescale Closes Coverage Gap in SoC Environments with Palladium XP Platform
- How Real Number Modeling Improves Functional Verification for Mixed-Signal SoCs
- Protium S1 used to prototype a pedestrian detection application.
- Faster Simulation, Faster Builds at Freescale with Palladium XP Platform
- CDNLive India – A Closer Look at State-of-the-Art Verification Techniques and Methodologies
- 2X Productivity Gain Verifying DDR Controller Using Specman/e
- Tapping Into UVM-ML to Support Reuse in Multi-Language Verification Environment
- Bluespec Taps Into Rapid Prototyping Platform for Hybrid Prototyping
- Allegro Microsystems Improves Efficiency and Productivity with Incisive vManager Solution
- MediaTek Gets High-Quality Smart Devices to Market Quickly with Palladium Platform
- Using SystemC and HLS to Evaluate Co-Processor Architectures
- Introducing the Palladium Z1 Enterprise Emulation Platform
- Freescale Tracks Thousands of Simulations Before Tapeout for Bug-Free Silicon
- Verify Smarter with Industry's First Datacenter-Class Emulation System
- New JasperGold platform for Advanced RTL Signoff
- Methods2Business Creates MAC Layers Without Compromising on Verification with C-to-Silicon Compiler
- Shorten Verification Time with Specman
- X-FAB Revamps Low-Power Design Flow with CPF
- National and Cadence Building a More Efficient Chip Design Flow
- Achieving Fast Formal Verification in Highly Configurable Design Environment
- Dialog Semiconductor Verifies Register Map Overnight with Cadence RegVal Formal App
- ST Optimizes Verification Across the Globe with the vManager Platform
- PMC Expert Insights video
- FPGA-Prototyping of an Automotive Ethernet based Parking Assist System
- Mahesh Soni, Specman Expert on Leveraging the Testcase Generation Utility
- Using the Specman Profiler
- Achieving Better-Quality Results with Specman Elite
- Verification expert tips for improving testbench quality with Specman
- Texas Instruments - Using the Perspec Solution
- The Palladium Solution and SoC Emulation for 16nm Automotive Devices at NXP
- Specman Tips & Trick, e-HDL types compliance checks.
- Leveraging Specman for Verification
- Leveraging Specman for Signoff
- Automotive Sensor Design Enablement
- HPE Apollo 70 Collaboration
- The Cadence vManager Metric-Driven Signoff Platform in Use at NXP
- Specman: Fastest Patches on Earth
- Orit Kirshenberg - Expert Insights Video
- New Cadence Products Expand the Verification Suite: Xcelium Parallel Simulator and Protium S1 Platform
- Reduce FPGA-Based Prototype Bring-Up From Months to Days with Cadence Protium S1 Platform
- Nadav Eden – Specman Expert Insights Video
- Yoav Lurie—Specman Expert Insights Video
- Extoll - Dr. Niels Burkhardt—Specman Expert Insights video
- The People Behind Range Generated Field (RGF) - Specman 18.03
- Mike Bartley, CEO of T&VS, on Portable Stimulus
- AMIQ Eclipse IDE for Perspec Portable Stimulus
- Latest News for Cadence Specman Elite - January 2018
- Using the Cadence VirtualBridge Emulator with the Palladium Platform
- Taking FPGA-Based Prototyping to the Next Level
- DAC 2017 Report on Accellera Portable Stimulus Specification
- Accellera Portable Stimulus Standard Introduction and Demo; Part 2 of 3 – The Demo
- Xcelium Parallel Simulator on Cavium Arm-based ThunderX2
- Augmenting Simulation Via Low-Power Verification Methodologies with Emulation
- Imperas Software - Cadence System Development Suite
- Low-Power Mixed-Signal Verification of Freescale Kinetis Products
- UVM methodology based Verification Environment for Imaging IPs/SoCs
- IBM - Cadence Functional Verification for Improved Planning and Schedule Adherence
- Closing Gaps in Mixed-Signal Power Implementation Using a Consistent Power Intent
- DVCon 2013 Best Practices in Verification Planning
- Formal Methodology as a 1st Step in Verification Shortens Process by 4 Weeks
- Detecting Low-Power Bugs with X-Optimism Simulation
- Metric-Driven Verification: A Look at How this Methodology Accelerates Verification Process
- Verifying Freescale's 64-bit Core with Rapid Prototyping Tools
- Xilinx - Cadence Virtual Processing Platform and Zynq-7000
- Increased Trace Depth, Faster Upload and Time to Market for Zenverge
- Open-Source UVM Multilanguage Architecture Simplifies Verification IP Reuse
- Xilinx - Cadence Virtual System Platform to Accelerate Product Development
- Validating Mobile SoC Architecture at Broadcom
- Palladium Z1: Advanced Job Re-shaping
- Accurate Low Power verification on a Complex Low Power Design using CLP
- AMD - Cadence Palladium XP & In-Circuit Acceleration
- LPDDR4 IP Verification Challenges
- DAC 2012: Interview with Dr. Kerstin Eder about her course on functional verification
- Freescale - Palladium XP helps speed their verification effort by 10,000x over simulation
- Reducing Time to Point of Interest with Accelerated OS Boot
- Experiences with SoC Deployment of Hardware Emulation Based Power Intent Modeling
- See How Nvidia Boosts IP Acceleration of Custom ARM Core
- Get Your Weekends Back with Faster Chip Verification Process
Datasheet (41)
- Protium S1 FPGA-Based Prototyping Platform
- Perspec System Verifier Datasheet
- SpeedBridge Adapter for USB 3.0/2.0/1.1 Devices
- SpeedBridge Adapter for PCIe 4.0 Datasheet
- VirtualBridge Adapter for PCI Express 2.0/3.0 Datasheet
- Xcelium Parallel Logic Simulation Datasheet
- Protium S1 Single-FPGA Board Datasheet
- vManager Metric-Driven Signoff Platform Datasheet
- Emulation Development Kit for Palladium Series Datasheet
- Memory Model Portfolio for Palladium Series Datasheet
- Virtual JTAG Virtual JTAG Debug Interface Datasheet
- RocketSim Parallel Simulation Engine Datasheet
- Palladium Z1 Enterprise Emulation Platform Datasheet
- Embedded Software Debug App Datasheet
- Incisive Functional Safety Simulator Datasheet
- Cadence SpeedBridge Adapter for USB 2.0 Host Datasheet
- Cadence SpeedBridge Adapter for PCI Express 3.0 Datasheet
- Stratus High-Level Synthesis Datasheet
- Cadence SpeedBridge Adapter for Serial ATA (SATA) Datasheet
- SpeedBridge Adapter for USB 3.0 Devices Datasheet
- Protium FPGA-Based Prototyping Platform Datasheet
- Cynthesizer Solution Datasheet
- Cadence SpeedBridge Adapter for Ethernet Datasheet
- Incisive Verification Apps Datasheet
- Metric-Driven Mixed-Signal Verification Flow Datasheet
- Cadence Accelerated Verification IP for PCI Express Datasheet
- Cadence Virtual System Platform for the Xilinx Zynq-7000 All Programmable SoC Datasheet
- Incisive Enterprise Verifier Datasheet
- Incisive Enterprise Simulator Datasheet
- Cadence SpeedBridge Adapter for ARM Logic Tiles Datasheet
- Cadence Palladium Dynamic Power Analysis Datasheet
- Cadence Virtual System Platform Datasheet
- Cadence SpeedBridge Adapter for Serial-Attached SCSI (SAS) Datasheet
- Cadence SpeedBridge System for Video and Audio Datasheet
- Cadence Incisive SpeedBridge Adapter for PCI Express 2.0 Datasheet
- Cadence SpeedBridge Adapter for PCI Express Datasheet
- Incisive Assertion-Based Verification IP (ABVIP) for OCP Datasheet
- Incisive Formal Verifier Datasheet
White Paper (21)
- Delivering Superior Throughput for EDA Verification Workloads White Paper
- Three Things You Need to Know to Use the Accellera PSS White Paper
- Efficient Verification of Mixed-Signal SerDes IP Using UVM
- Choosing the Right Verification Technology for CDC-Clean RTL Signoff
- Choosing the Right Superlinting Technology for Early RTL Code Signoff White Paper
- A Program Manager’s Guide to Successful Integrated Circuit Verification
- Massive SoC Designs Open Doors to New Era in Simulation White Paper
- SoC Planning, Management, Reporting, Auditing, and Signoff White Paper
- Improving Emulation Throughput for Multi-Project SoC Designs White Paper
- Gate-Level Simulation Methodology White Paper
- Automating Root-Cause Analysis to Reduce Time to Find Bugs by Up to 50% White Paper
- Meeting Functional Safety Requirements Efficiently Via Electronic Design Tools and Techniques White Paper
- How the Productivity Advantages of High-Level Synthesis Can Improve IP Design, Verification, and Reuse White Paper
- Enabling ISO 26262 Qualification By Using Cadence Tools White Paper
- A Better Tool for Functional Verification of Low-Power Designs with IEEE 1801 UPF White Paper
- Maximizing Verification Effectiveness Using Metric-Driven Verification White Paper
- Analyzing and Debugging Performance Issues with Advanced ARM CoreLink System IP Components White Paper
- Productivity, Predictability, and Use-Model Versatility: The Three Key Care-Abouts of Choosing Hardware-Assisted Verification White Paper
- Building Energy-Efficient ICs from the Ground Up White Paper
- Solutions for Mixed-Signal SoC Verification White Paper
- Interface Additions to the e Language for Effective Communication with SystemC TLM 2.0 Models White Paper
Success Story Video (6)
- NVIDIA Handles Complexity with Palladium Z1 Platform
- Plan-Driven Low-Power Verification and Debugging at STMicroelectronics
- Introducing the Palladium Z1 Enterprise Emulation Platform
- Shorten Verification Time with Specman
- UVM methodology based Verification Environment for Imaging IPs/SoCs
- AMD - Cadence Palladium XP & In-Circuit Acceleration
Technical Brief (4)
Press Releases (46)
- Cadence Palladium and Protium Platforms Enable Innovium to Accelerate First-Pass Silicon Success for the Data Center Market
- Arm, Cadence and Xilinx Introduce First Arm Neoverse System Development Platform for Next-Generation Cloud-to-Edge Infrastructure, Implemented on TSMC 7nm Process Technology
- Cadence Tools and IP Optimized for New Arm Neoverse N1 Platform to Advance the Cloud-to-Edge Infrastructure Market
- Cadence Selected as Primary EDA Tool Vendor by GLOBALFOUNDRIES
- Cadence Verification Suite Enabled on Arm-Based HPC Datacenters
- Cadence Accelerates Arm-Based Server Development by Automating Arm Pre-Silicon Bare Metal Compliance Testing
- Cadence Palladium Z1 Enterprise Emulation Platform Enables GUC to Accelerate SoC Design
- Cadence JasperGold Formal Verification Platform Enables Hitachi to Develop Measures for Fault Avoidance to Comply with IEC 61508 Series SIL 4 Requirements
- Cadence Perspec System Verifier Supports New Accellera Portable Test and Stimulus Specification 1.0
- Cadence Full-Flow Digital and Signoff Tools and Verification Suite Provide Optimal Results for 7nm Arm Cortex-A76 CPU Designs
- Media Alert: Cadence to Showcase Verification Suite at DVCon 2018
- Cadence and Arm Deliver First SoC Verification Solution for Low-Power, High-Performance Arm-Based Servers
- Cadence Achieves TÜV SÜD’s First Comprehensive “Fit for Purpose - TCL1” Certification in Support of Automotive ISO 26262 Standard
- Hiroshima University Research Team Accelerates the Development of a Computer-Aided Medical Diagnosis System with Cadence Tensilica Vision P6 DSP Core and Protium S1 FPGA-Based Prototyping Platform
- Teradyne Standardizes on Cadence Xcelium Parallel Logic Simulator
- Cadence Announces VirtualBridge Adapter for Palladium Z1 Emulator to Accelerate Software Bring-Up Time by Up to Three Months
- Cadence Expands JasperGold Platform for Advanced Formal-Based RTL Signoff
- Amlogic Reduces HW/SW Integration Time for Multimedia SoCs by Two Months Using the Cadence Protium S1 FPGA-Based Prototyping Platform
- Renesas Accelerates IoT Design Using the Cadence Perspec System Verifier
- Cadence Launches Protium S1 FPGA-Based Prototyping Platform for Early Software Development
- Cadence Launches Xcelium Parallel Simulator, the Industry’s First Production-Proven Parallel Simulator
- Fujitsu Adopts Cadence Palladium Z1 Enterprise Emulation Platform for Post-K Supercomputer Development
- Cadence Completes Acquisition of Rocketick Technologies
- Silicon Labs Significantly Reduces Design Time Using the Cadence Mixed-Signal Low-Power Flow
- Cadence Ushers in New Era of Datacenter-class Emulation with Palladium Z1 Enterprise Emulation Platform
- Altair Semiconductor Adopts Cadence Palladium XP Platform for Advanced IoT SoC Development
- Realtek Accelerates System-on-Chip Verification with Cadence Palladium XP Platform
- Cadence Announces Next-Generation JasperGold Formal Verification Platform
- Cadence Introduces Indago Debug Platform, Improving Debugging Productivity by up to 50 Percent
- 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
- DMP Adopts Cadence Palladium XP Platform to Accelerate High Performance Graphic IP Core Development
- Cadence Perspec System Verifier Delivers Up to 10X Productivity Improvement in System-on-Chip Verification
- Sonics Adopts Cadence JasperGold Apps Formal Verification for On-Chip Network IP Development
- Cadence Introduces Automotive Functional Safety Verification Solution, Reducing ISO 26262 Compliance Preparation Effort by up to 50 Percent
- Cadence Announces Protium Rapid Prototyping Platform and Expands System Development Suite Low-Power Verification
- Cadence Completes Acquisition of Jasper Design Automation
- CSR Selects Cadence Palladium XP Platform for Development of ARM-based Automotive Infotainment Systems
- HiSilicon Expands Cadence Palladium XP Platform Usage For Mobile and Digital Media SoC and ASIC Development
- Cadence Incisive Specman Elite Testbench Reduces Verification Time for Sharp by 50 Percent
- Cadence Expands ARM-based System Verification Solution, Reducing Time-to-Market for Mobile, Networking and Server Applications
- Cadence Redefines Verification Planning and Management with Incisive vManager Solution
- Cadence Incisive 13.2 Platform Sets New Standard for SoC Verification Performance and Productivity
- Ricoh Selects Cadence Palladium XP Platform for Next-Generation Multifunction Printer SoC Development
- New Release of Cadence Incisive Platform Doubles Productivity of SoC Verification
- Cadence Virtual System Platform Named as American Technology Award Finalist in Software Category
Customers Success (24)
- Valens and Cadence: Cadence Specman Elite Offers Vast Flexibility to Developers
- Renesas and Cadence: Building a State-of-the-Art Verification Environment Customer Success Story
- Renesas Deploys Cadence Interconnect Workbench with Palladium Z1 Platform
- Cadence and NetSpeed Success Story
- Moving to UVM-MS to Meet Coverage Goals Case Study
- Faster Hardware Verification and Software Validation for Supercomputers Success Story
- Cadence and Ricoh Success Story
- Cadence and VIA Telecom Success Story
- Cadence and Faraday Technology Case Study
- Cadence and STMicroelectronics Success Story
- Cadence and Melexis Success Story
- Cadence and STMicroelectronics Success Story
- Cadence and RivieraWaves Success Story
- Cadence and Siemens Healthcare Success Story
- Texas Instruments and Cadence Verification Success Story
- Cadence and Nufront Success Story
- Cadence Incisive Enterprise Simulator and Samsung Success Story
- Cadence and Samsung Success Story
- Cadence and STMicroelectronics Success Story
- Cadence and QLogic Success Story
- Cadence and Xilinx Success Story
- Cadence and Texas Instruments Success Story
- Cadence and Newport Media Success Story
- Cadence and UPEK Success Story
Webinar (20)
- Why Debug at Signal Level
- What to Do When Code Coverage Closure Seems Impossible
- Optimizing Your Verification Process with Incisive vManager
- Verification Techniques with Assertion-Based VIP
- UVM SystemVerilog in a Multi-Language SoC World
- Tuning Your UVM Environment for Maximum Performance
- Speed Verification Turnaround by Extending MDV to TLM
- SimVision Simplifies UVM SystemVerilog Macro Debug
- Simplify UVM Debug with Cadence Incisive SimVision
- Accelerate Your Verification Debug with the Incisive Debug Analyzer
- Leveraging SystemVerilog Real Number Modeling
- Introducing UVM Multi-Language Open Architecture
- Formal Apps to Automate Mainstream Verification Challenges
- Connecting SystemVerilog Real Numbers and Verilog-AMS Nets
- Better Verification Performance with Incisive Enterprise Simulator
- Best Practices in Verification Planning
- 5 Steps to Your First Power Shut-off (PSO) Verification
- Protium FPGA-Based Prototyping Platform
- Augmenting Simulation Via Low-Power Verification Methodologies with Emulation
- Metric-Driven Verification: A Look at How this Methodology Accelerates Verification Process
Demo (5)
- Accellera Portable Stimulus Standard Introduction and Demo; Part 3 of 3 - Conclusions
- Accellera Portable Stimulus Standard Introduction and Demo; Part 1 of 3 – Introduction
- FPGA-Prototyping of an Automotive Ethernet based Parking Assist System
- Accellera Portable Stimulus Standard Introduction and Demo; Part 2 of 3 – The Demo
- Xcelium Parallel Simulator on Cavium Arm-based ThunderX2
Customers
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
Cadence Verification Suite Products A-Z
J