Referenced Items are not available for this document.
With the increase in the complexity of present day systems, proving the correctness of a design has become a major concern. This paper describes a novel implementation of a BDD-based combinational equivalence checking (CEC) tool, which is distinguished from others by one heuristic. It is proposed to select an effective cut, with no dependence remaining. In addition, successfully verification of all the ISCAS'85 benchmark circuits demonstrates the efficiency of our approach.
Published in:
Test Symposium, 2003. ATS 2003. 12th Asian
Date of Conference: 16-19 Nov. 2003
- Page(s):
- 482 - 485
- ISSN :
- 1081-7735
- Print ISBN:
- 0-7695-1951-2
- INSPEC Accession Number:
- 7905630
- Digital Object Identifier :
- 10.1109/ATS.2003.1250864
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
