The Verification Problem

  • Moore's Law: Complexity of integrated circuits doubles every 18 months
    • The International Technology Roadmap for Semiconductors (ITRS) estimates that there will be around 5,000,000,000 transistors on a single chip by 2010

  • State-space explosion: a design with around 200 memory elements has more states than the number of protons in the universe