Santa Clara, CA – March 28, 2001 – In a tutorial-like mode, Raul Camposano, CTO and General Manager of Synopsys, Inc., presented a plenary talk at ISQED 2001 outlining the three principle types of ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback