Rich Faris, Ken Larsen, Harry Foster, Stuart Swan. Are Today s Verification Tools Able to Handle Current Design Challenges?. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 77, IEEE Computer Society, 2005. [doi]
Abstract is missing.