RAVEN Standard for design verification of licensable core processors like ARM, MIPS and X86

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 (308K)

Download the RAVEN brochure (274K)

View time to market estimates for your architecture 

Download the RAVEN tutorial (1.1M)  

See RAVEN in action
Contact us today for a live demonstration, and see what RAVEN can do for your team.