User manual CADENCE DESIGN SYSTEMS INCISIVE XTREME SERIES DATASHEET

[. . . ] These products provide a versatile functional verification system for behavioral-, RTL-, and gate-level designs. The latest offerings, Xtreme III Desktop and Xtreme III System, are both fourth-generation server-class hardware verification platforms. The Xtreme series of accelerators/emulators allows designers to create or modify existing architectures much quicker and earlier in their design flows. [. . . ] For complete system verification, large external memories are integrated using an extended memory board or workstation memory. 2 I N C I S I V E X T R E ME SERIES OF ACCELERATORS/EMULATORS w w w. c a d e n ce. com DEBUG IN SOFTWARELIKE ENVIRONMENT WHILE ACCELERATING The ability of Xtreme accelerators/emula tors to swap states between the software simulator and the RCC engine--in real time--makes them unique among hardware verification systems. During simulation, you can swap the state of the RCC engine into the software simulator to interactively debug the design and continue with software simulation. When your circuit is fully debugged and the problem isolated, you can swap the simulation state value back into the RCC engine for maximum performance. Xtreme III System extends these capabilities with in-circuit emulation. Xtreme behavioral processors provide a practical method for emulating non-synthesizable behavioral objects. A unique behavioral emulation capability maintains the performance level of emulation without sacrificing the flexibility of a software simulation environment. Behavioral constructs are event-driven in nature and require dynamic execution time. Xtreme behavioral processors enable the following for acceleration and emulation: · Runtime triggering and monitoring · Automatic and efficient memory mapping (for most types of memory, including complex memory such as CAMS) · Large arithmetic operations used in datapath-intensive designs · Behavioral assertion processor technology without gate-count explosion · Event-driven processing that can sequence operations requiring a dynamic number of steps HW/SW CO-VERIFICATION The combination of an Incisive Xtreme accelerator/emulator with software models of ARM® processors and a co-verification model of an ARM CPU (with the Xtreme series) provides the most advanced debugging solution for ARM designs and the necessary functionality at each stage of the verification lifecycle. The Xtreme series provides a comprehensive, leading-edge methodology for ARM SoC verification using a unified toolset for HW/SW engineers to verify and debug designs containing ARM microprocessors. In one package, the Xtreme series provides mixed-HDL logic simulation, simulation acceleration, in-circuit emulation (ICE), HW/SW co-verification using either software models of the ARM CPU or hardware models of the ARM CPU using ICE, and AMBA® bus testbench development. COMPLETE HISTORY WITHOUT RE-SIMULATION The Xtreme value-change-dump (VCD) on-demand feature gives you access to all node history values from any point in simulation, without re-simulating from time zero. This significantly increases debugging productivity. Waveforms can be generated in either IEEE-standard VCD, fast signal database (FSDB), or SimVision (SST2) format. IN-CIRCUIT EMULATION WITH XTREME III SYSTEM Xtreme III System and Xtreme Server can connect directly to a target system and are controlled through a Solaris or Linux workstation for compactness and high-speed communication. The ability to emulate physical hardware with software models simultaneously while also using a software simulation environment for debugging provides the most flexible and accessible system integration solution available. ADVANCED BEHAVIORAL EMULATION AND PROCEDURAL CALLBACKS To address performance bottlenecks as well as overall simulation speed, Cadence has developed several innovative technologies in the Xtreme series of accelerators/ emulators. These include an event-based system control, the capability of direct testbench procedural calls from hardware, and behavioral processor technology in hardware. Leveraging this unique hardware architecture, designers or application engineers can map behavioral Verilog constructs or testbench code by hand into equivalent synthesizable RTL code, thus obtaining improved acceleration speed. COMPREHENSIVE SET OF APPLICATION-SPECIFIC SOLUTIONS Cadence offers a comprehensive set of application-specific solutions to allow rapid adoption of emulation technology. These are pre-validated, in-circuit emulation interfaces known as SpeedBridge adapters, which allow a design under test to be emulated in Xtreme III System in order to interface with a real-world environment. www. cadence. com INCISIVE XTREME SERIES OF ACCELERATORS/EMULATORS 3 TRANSACTION-BASED ACCELERATION Transaction-based acceleration (TBA) is an acceleration mode based on Accellera's Standard Co-Emulation Modeling Interface 1. 1 (SCE-MI 1. 1) that supports a transaction-level testbench modeling style. TBA utilizes message-level communication between the SystemC testbench components running on the workstation and the rest of the environment running on an Xtreme accelerator/emulator. By communicating at the message level rather than the signal level, TBA reduces the amount of communication, greatly increasing overall acceleration performance (typically from 100­1, 000x) over simulation alone. [. . . ] Please contact your Cadence Sales Representative for specifications on other products within the Xtreme series. www. cadence. com INCISIVE XTREME SERIES OF ACCELERATORS/EMULATORS 5 Cadence Design Systems, Inc. Corporate Headquarters 2655 Seely Avenue San Jose, CA 95134 United States 800. 746. 6223 +408. 943. 1234 (outside U. S. ) www. cadence. com © 2006 Cadence Design Systems, Inc. Cadence, Incisive, Specman, SpeedBridge, Verilog, and Xtreme are registered trademarks and the Cadence logo is a trademark of Cadence Design Systems, Inc. SystemC is a registered trademark of Open SystemC Initiative, Inc. [. . . ]