Hardware Verification - Application of formal techniques to chip designs Jacob Abraham (July 7, 2001)