STMicroelectronics – Agrate Brianza - Italy.pptVIP

Can We Really do Without the Support of Formal Methods in the Verification of Large Designs ? Special Session on Formal Verification DAC 2005 – Anaheim Jun 16, 2005 Umberto Rossi Outline Progress through the last 10 years from STM view How Formal Verification is used in STM Examples of success in STM How Formal Verification can make the difference The example of IP Validation What can help Formal verification to fly Hints for the future conclusion Progress through the last 10 years The Pentium FP bug made the concept of“corner case” familiar to an extended communityof designers (1994) ASIC