Verification Solutions Overview
Obsidian’s processor verification solutions and test creation services are built upon the power and flexibility of the RAVEN random test generator. The following pages serve to illustrate some of the technical capabilities of RAVEN and list many processor features which have already been developed and may be ported.
