| MT POWER Verification |
|
John Ludden of IBM shares his strategies for simultaneous multi-threading verification of POWER architectures at DVClub Boston.
|
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. |