CADENCE INCISIVE FUNCTIONAL VERIFICATION PLATFORM by Cadence Design Systems

RTL (Front End) Tools

Product Description

CADENCE INCISIVE FUNCTIONAL VERIFICATION PLATFORM
RTL (Front End) Tools

Product Description
INCISIVE VERIFICATION PLATFORM

Cadence collaborates with ARM on offering a complete verification platform for customers developing SoC design using ARM processors. This complete solution addresses the most demanding needs of today’s designers, starting with system-level verification right through to hand-off for physical design.

The key components of the platform include a set of tools to support block-, chip-, and system-level verification; flows to address key design challenges such as low-power verification and metric-driven verification, and a methodology based on the standard OVM that allows customers to build powerful, open, and reusable verification environments.

Tools in the Incisive Platform include:

Incisive Enterprise Manager Automates and guides verification from planning to closure. Includes SystemVerilog and e functional coverage capabilities.

Incisive Enterprise Simulator – XL supports simulation of the design and testbench using all standard languages available today: Verilog, SystemVerilog, e, SVA, VHDL, SystemC, C/C++, and PSL.

Incisive Formal Verifier performs formal analysis in the assertion-based verification and debug of RTL block designs, before testbench availability, to speed design convergence.

Incisive Palladium and Xtreme enables simulation acceleration and emulation of sub-systems and SoCs.

Incisive Verification IP supports advanced testbenches, transaction-based acceleration for high-level testbenches, assertion-based VIP for formal, simulated, and accelerated block-level verification, and emulation and in-circuit verification. Supports ARM-based protocols such as AXI, AHB, and APB.

CADENCE INCISIVE FUNCTIONAL VERIFICATION PLATFORM

Market Segment(s)

• Enterprise
• Home
• Mobile

ARM Processor(s)

• ARM7EJ-S
• ARM7TDMI
• ARM7TDMI-S
• ARM720T
• ARM920T
• ARM922T
• ARM926EJ-S
• ARM940T
• ARM946E-S
• ARM966E-S
• ARM968E-S
• ARM1020E
• ARM1022E
• ARM1026EJ-S
• ARM1136J-S
• ARM1136JF-S
• ARM1156T2(F)-S
• ARM1176JZ(F)-S
• ARM11 MPCore
• Cortex-A53
• Cortex-A57
• Cortex-A8
• Cortex-A9
• Cortex-M0
• Cortex-M1
• Cortex-M3
• Cortex-R4
• ARMv8

System IP

• Interconnect Fabric
• Level 2 Cache Controller
• Memory Controller

Physical IP

• DDR I/O (DDRI/II)
• General Purpose I/O (Inline / Staggered)
• Register File Memory Compilers
• Specialty I/O (HSTL, SSTL)
• SRAM Memory Compilers
• Standard Cell Libraries

 Contact Us