Xtreme The most versatile verification system

Xtreme Benefits Extreme Versatility Spans the full spectrum of system verification Provides in-circuit emulation capabilities while encapsulating the features of Xcite Supports three modes of in-circuit verification (ICV) - in-circuit simulation (ICS), in-circuit acceleration (ICA), in-circuit emulation (ICE) Expands into multiple applications, such as assertion processors, code coverage, and testbench High Capacity Supports designs of up to 20M ASIC gates Provides internal memory of up to 402M bits; extended memory of up to 1GB High Performance Speeds emulation performance up to 500K cycles per second Ease of Use Preserves native simulation debugging environment by supporting all HDL language constructs and PLI calls Advance Debuggability Offers hot-swapping in real time from system emulation to software simulation for maximum debugging flexibility and performance Extracts all design node history information during or after simulation using VCD-on-Demand (VoD)

Verification Bottleneck
Designs are growing faster than what can be verified, and this verification gap is increasing at an accelerating pace. Traditionally, software simulators are suited for design architecture verification, but dramatically slow down at RTL and gate level debugging. Traditional hardware emulation systems reach high performance at the cost of a steep learning curve and lengthy setup time. To close the productivity gap, Verisity provides the seamless integration of software simulation with simulation acceleration and emulation at a price performance unmatched by any other technology.

Xtreme
Xtremeis the most versatile system verification product available in the market today. Enabled by Axis' patented ReConfigurable Computing (RCC) technology, Xtreme offers the best solution for simulation acceleration and emulation in one unified system. Xtreme delivers fast runtime performance and the highest capacity, while preserving the native RTL simulation debugging environment.

In-Circuit Emulation
Xtreme can directly connect to a target system and is controlled through a Sun workstation via one set of PCI extender cables for compactness and high-speed communication. Whether the system design is described at behavioral, RTL, or gate level, the Xtreme compiler custom configures its RCC computing elements to maximize parallel processing. Thus, system emulation with Xtreme looks, acts, and feels identical to software simulation at hardware emulation speed.

One-Step Compilation and Mapping
Design description can be separated into three components: behavioral, RTL, and gates. The Xtreme compiler automatically maps sections that can be RCC accelerated (RTL and gate level components) and builds a native-compiled simulation image for behavioral sections that need to stay within the software simulator, Xsim. Using its patented Hierarchy Extracted mapping technique, the Xtreme compiler automatically maps the design onto arrays of FPGAs for optimized gate usage and high simulation performance.

Debug in Software, Accelerate in RCC
One of the unique capabilities of Xtreme is its ability to hot-swap software and RCC states in real time. Thus, during simulation, you may elect to swap RCC states into Xsim in order to debug the design and continue in software simulation. When the circuit is fully diagnosed, simulation state values can be swapped back into RCC for maximum performance acceleration.

Behavioral Emulation and Procedural Callbacks
Xtreme supports event-based, interrupt-driven callbacks for software checkers and testbenches during ICE. This allows the use of common simulation tasks, such as $display, to print messages to the workstation when an error condition occurs. Xtreme's unique testbench callback capability maintains the performance level of ICE without giving up the flexibility of a software simulation environment.

Complete History with No Re-simulation
During or after emulation runs, state history for all nodes is compressed within RCC and stored on the workstation. Either during or after the run, the Xtreme VCD-on-Demand (VoD) capability can extract all node history values without resimulation. Thus, design debugging has become highly efficient without the high cost of disk storage or simulation slow-down.

Simplified Library and Memory Conversion
To maximize density and performance of the RCC processors, design library and memory cells are converted into RCC elements. For library cells, a library compiler will automatically generate appropriate mapping, along with library verification test vectors.

For embedded memory blocks, you can configure Xtreme's large internal cache memory and on-board memory to the specific memory type. For complete system verification, large external memories can be integrated using the default extended memory board or workstation memory communicating via the fast PCI bus.

All-Encompassing System
To stay one step ahead of your competition, you need the most efficient verification tool that will fit directly into your design environment. Xtreme offers solutions for both simulation acceleration and emulation in a unified verification system with a single design database. Xtreme delivers the highest verification productivity by bridging the gap between hardware performance and software flexibility.

Xtreme I Specifications
Architecture	ReConfigurable Computing (RCC) engine Event-based algorithm
Supported Operating Systems and HW Platforms	Sun Solaris: Sun Ultra 60, 80 Sun Blade 1000, 2000 Red Hat Linux: IBM x255 Series
Design Format	IEEE 1364-2001 Verilog IEEE 1076-1993 VHDL
Mixed HDL Logic Simulation	Event look-ahead Native code compiled Single kernel
Software Interfaces	XMI-API PLI
Gate and I/O Capacities	Up to 20M ASIC gates Up to 1552 I/Os
Programmable Trigger Generators	Up to 1K probes per trigger Up to 48 separate trigger generators
Programmable Clock Generators	Up to 48 separate trigger generators
Runtime Performance	Up to 500K cycles/sec
Memory	Up to 402M bits of on-board RCC memory Up to 1GB of extended memory Up to 4GB of workstation memory
Debugging	Support for mixed HDL Graphical user interface Real-time logic simulation hot swapping between software and hardware VCD-on-Demand (VoD)

Contact Us