@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},
	}