Formal verification of digital IP's by using onespin door G. Cheemala