ARM’s highest performing processor, extending the capabilities of mobile and enterprise computing. Read More...
RAVEN (Random Architecture Verification Engine) is a robust
random test generator for automating the creation of
processor test sequences. RAVEN provides value as a
proven, mature technology for generating random and valid
stimuli in standard and custom processor cores.
RAVEN is built upon pre-developed and custom made
modules that can be included to expand functionality.
Common processor features can be quickly added to RAVEN
as well as custom requirements and architectural
improvements in future processor revisions. The RAVEN tool
can be used in functional verification of any processor
architecture, whether proprietary or licensable IP.
Better Coverage in Less Time
RAVEN contains valuable information about common errors
found in other processors and applies rules to the selection of
random values. As developers create new instructions, the
RAVEN tool gains intelligence about the custom core and
adds rules that make the tool more efficient.
RAVEN tracks the processor state at all time and uses the
current state to influence the selection of instructions and
operands for newly generated instructions. The result is
better verification coverage in less time, producing large
numbers of interesting test sequences. Tests from RAVEN
can find 5-7x more errors per cycle than other methods. The
advanced constraint engine allows users to supply behavioral
models capable of directing tests into difficult to reach corner
cases. The intelligent selection of values is more likely to
uncover functional errors and is a primary advantage of
If you currently use directed testing for functional verification,
RAVEN can greatly increase the productivity of your team by
automating much of the work now being done manually.
RAVEN operates from a command line or graphical user
interface. Test templates can be written based on your
existing test sequences and can generate tens of thousands
of tests from a single XML file.