ArrowPortfolio
IKOS

High-performance design verification solution. Acquired by Mentor Graphics.