A Smarter Approach to Random Test Generators
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 choosing RAVEN.
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 (Figure 1. Block Diagram). Test templates can be written based on your existing test sequences and can generate tens of thousands of tests from a single XML file.
Using RAVEN as a Primary Solution
RAVEN is a highly configurable random test generator capable of producing 95-98% of all required tests, virtually eliminating the need for other testing methods. RAVEN is both powerful and flexible, operating in simulation, emulation and post-silicon environments. Using a dynamic random test generator ensures that more of the design will be tested with better coverage, specifically around difficult to reach corner-cases. With proper deployment and training of RAVEN, verification teams can save the equivalent of one full respin for each design project.
Using RAVEN as a Secondary Solution
Obsidian has verification IP bundles available to fit the needs of any project. Our accessible entry level RAVEN packages are ideal for those looking to maintain their project budget while enhancing the effectiveness of their existing verification methodologies.
Schedule a Demonstration
Lots of EDA tools make promises. Of course the only real way of knowing is to meet Obsidian’s technical staff and challenge them with your toughest questions. Our friendly sales engineers and technical staff will be happy to arrange for an on-site demonstration of RAVEN.
