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: