Skip to main content
Article thumbnail
Location of Repository

BDD Package Based on Boolean NOR Operation

By M. Raseen, A. Assi, P. W. C. Prasad and A. Harb

Abstract

Abstract — Binary Decision Diagrams (BDDs) are useful data structures for symbolic Boolean manipulations. BDDs are used in many tasks in VLSI/CAD, such as equivalence checking, property checking, logic synthesis, and false paths. In this paper we describe a new approach for the realization of a BDD package. To perform manipulations of Boolean functions, the proposed approach does not depend on the recursive synthesis operation of the IF-Then-Else (ITE). Instead of using the ITE operation, the basic synthesis algorithm is done using Boolean NOR operation

Topics: ITE Operation, Boolean Function, NOR operation. S
Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.139
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.waset.org/pwaset/v3... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.