Obsidian's flagship product is the Random Architecture Verification Engine (RAVEN). RAVEN is used for functional verification of complex processors. RAVEN generates random tests, but it does much more. RAVEN's knowledge engine applies rules about the interaction between components and features of the core. RAVEN's patented technology knows about the instruction set, addressing modes, and parallelism, operating modes, registers and exceptions. Rules can be added to RAVEN so the tool gains "intelligence" as the core matures.
