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 ...