@article{(Open Science Index):https://publications.waset.org/pdf/10789, title = {BDD Package Based on Boolean NOR Operation}, author = {M. Raseen and A.Assi and P.W. C. Prasad and A. Harb}, country = {}, institution = {}, 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.}, journal = {International Journal of Computer and Information Engineering}, volume = {1}, number = {3}, year = {2007}, pages = {819 - 822}, ee = {https://publications.waset.org/pdf/10789}, url = {https://publications.waset.org/vol/3}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 3, 2007}, }