RAVEN GCS for design verification of proprietary and licensable DSPs, ASICs, and SOCs.

Target Users
For companies that design and produce proprietary processors like DSP, CISC, RISC and VLIW, there may be a desire to keep processor verification processes completely in-house. RAVEN GCS gives these companies all the benefits of a third-party commercial tool while also retaining complete control over their intellectual property.

How it Works
RAVEN GCS provides key components of the RAVEN tool -- a well-defined API, libraries and low-level modules -- that enable the customer to create a random test generator as sophisticated and effective as RAVEN.
Once the internal generator is created, RAVEN GCS works the same as RAVEN Standard. 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. 

Read More About RAVEN GCS:
The RAVEN GCS Approach to Random Test Generation (1.6M)

RAVEN GCS Presentational Tutorial (129K)

RAVEN GCS Software Tutorial (900K)

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