%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