Over 50% of the design effort is in verification
Hardware Verification - Application of formal techniques to chip designs Jacob Abraham (July 7, 2001)