Referenced Items are not available for this document.
A new Boolean resubstitution technique with permissible functions and ordered binary decision diagrams (OBDDs) is presented. Boolean resubstitution is one technique for multilevel logic optimization. Permissible functions are special don't care sets. The data structure, of permissible functions and logic functions at each node in Boolean networks is represented in terms of OBDD. Therefore, logic functions can be flexibly manipulated and rapidly executed. Boolean resubstitution was also applied to a multilevel logic synthesis. Results of experiments employing the improved OBDD operation and Boolean resubstitution techniques are presented
Published in:
Design Automation Conference, 1990. Proceedings., 27th ACM/IEEE
Date of Conference: 24-28 Jun 1990
- Page(s):
- 284 - 289
- Meeting Date :
- 24 Jun 1990-28 Jun 1990
- ISSN :
- 0738-100X
- Print ISBN:
- 0-89791-363-9
- INSPEC Accession Number:
- 3976114
- Conference Location :
- Orlando, FL
- Digital Object Identifier :
- 10.1109/DAC.1990.114868
- 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.
