Verification Tools
| Raven SE |
RAVEN Standard for design verification of licensable core processors like ARM, MIPS and X86. |
| Raven GCS |
RAVEN GCS for design verification of proprietary and licensable DSPs, ASICs, and SOCs. |
| Raven PD |
RAVEN PD for design verification of processors designed using the CoWare tool set. |


