Referenced Items are not available for this document.
The authors present a functional verification method for CMOS synchronous circuits by representing circuit behaviors with characteristic functions. Bidirectional signal effects and charge effects are formalized based on these functions. This method makes it possible to verify dynamic switch-level circuits, such as pass-transistor networks and precharge logic circuits, which cannot be accurately modeled at gate-level. An automatic switch-level verification system has been implemented, and experimental results are reported
Published in:
Custom Integrated Circuits Conference, 1991., Proceedings of the IEEE 1991
Date of Conference: 12-15 May 1991
- Page(s):
- 11.5/1 - 11.5/4
- Meeting Date :
- 12 May 1991-15 May 1991
- Print ISBN:
- 0-7803-0015-7
- INSPEC Accession Number:
- 4183345
- Conference Location :
- San Diego, CA
- Digital Object Identifier :
- 10.1109/CICC.1991.164009
- 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.
