%0 Journal Article %A M. Raseen and A.Assi and P.W. C. Prasad and A. Harb %D 2007 %J International Journal of Computer and Information Engineering %B World Academy of Science, Engineering and Technology %I Open Science Index 3, 2007 %T BDD Package Based on Boolean NOR Operation %U https://publications.waset.org/pdf/10789 %V 3 %X 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. %P 819 - 822