Design-Reuse

0-In Announces New Products Based on Breakthrough Formal Verification Algorithms

SAN JOSE, Calif. – January 27, 2003 – Today 0-In Design Automation, the Assertion-Based Verification Company, announced a suite of new products based on powerful new formal verification ...