Are Today's Verification Tools Able to Handle Current Design Challenges? - Rich Faris; Ken Larsen; Harry Foster; Stuart Swan (ICCD, 2005)