SANTA CRUZ, Calif. — Verification start-up Obsidian Software has announced that its Raven test generator product is now available for the ARMv4T architecture. Raven generates random tests for ...
Multiprocessor, or MP, verification revolves around memory accesses. To this end three main issues face the developer of a random test generation tool for multiple processors — what types of memory ...