DAC.COM KNOWLEDGE CENTER ARTICLE www.dac.com This document has been submitted to, and reviewed and posted by, the editors of DAC.com. Please recycle if printed. Leap in the Formal Verification of Datapath Theo A. Drane 1 and George A. Constantinides 2 1 Imagination Technologies Ltd., Kings Langley, Hertfordshire, UK 2 Department of Electrical and Electronic Engineering, Imperial College London, UK Notice of Copyright This material is protected under the copyright laws of the U.S. and other countries and any uses not in conformity with the copyright laws are prohibited. Copyright for this document is held by the creator — authors and sponsoring organizations — of the material, all rights reserved.