RAVEN SE is a full featured tool for processor design verification that intelligently generates the random tests required to find and fix functional errors in licensable IP cores.

Target Users

Many companies no longer design their own microprocessors. Instead, they license a standard, core architecture like ARM, MIPS or X86 -- and then enhance them to improve speed, timing or process technology. RAVEN SE is a commercial processor verification tool that intelligently generates the random tests required to find and fix functional errors in licensable IP cores.

Our RAVEN Standard offerings include:

• RAVEN-MIPS
• RAVEN-ARM
• RAVEN-X86
• Multicore Options for All Available Architectures
  

How it Works

Using RAVEN's graphical user interface, an engineer writes a test template. The template tells RAVEN the type of tests to generate. As each instruction is generated, it is sent to an Instruction Set Simulator (ISS). The ISS executes the the instruction and returns trace information. The results are stored and compared to the results of the same instructions executed against the golden model, or RTL. Verification engineers continue to run templates and generate random tests until coverage goals are met.

For More Information:

Download the RAVEN Standard data sheet -or- download the RAVEN brochure.