Synopsys Announces Formality 2002 - A Next-Generation Equivalence Checker With Ease-Of-Use Advantage

3/18/2002 - Synopsys Inc. (Nasdaq:SNPS) today announced Formality® 2002, a next-generation equivalence checker that addresses the need for an easy-to-use formal verification solution. Formality's new flow-based graphical user interface (GUI) guides the user through the equivalence checking process, reducing the time associated with setup and debug. A new simplified design read flow helps trim costly iterations in the equivalence checking process. Users can seamlessly import simulation scripts with the new simulation-style design read to ensure the right setup the first time. With Formality 2002, customers gain time-to-market advantages by reducing the time spent at every step of the equivalence checking process.

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: