Obsidian's flagship verification product, used by the world's most advanced processor verification teams to test their cores, is the Random Architecture
Verification Engine (RAVEN). RAVEN is used for functional verification of complex processors.
This demo provides an intimate view of our Random
Architecture Verification Engine (RAVEN). The demo shows how RAVEN does far more than
simply verify the instruction set architecture. Its advanced controls and deep knowledge
allows processor validation of multithreading, multiprocessing, parallel instructions,
processor synchronization, cache coherency, and more.
