SAN MATEO, Calif. — Synopsys Inc. hopes to hold on to a slight lead in the formal verification market as it moves customers from the Design Verifyer tool to its internally developed Formality ...

Magellan Combines Formal Verification Engines with VCS to Find Deep Corner-Case Bugs and Enable Design for Verification MOUNTAIN VIEW, Calif.–May 12, 2003–Synopsys, Inc., the world leader in ...