Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.
Citation:
Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.
Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.
Citation:
Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.
Realization and Improvement of Binary Decision Diagram
If-then-else (ite) functor is the core of constructing binary decision diagram (BDD) for a Boolean function-This paper discusses how to express the fundamental operations of Boolean function in ite functor, and how to construct BDD utilizing ite functor. Meanwhile, some methods, such as memory function, hash table, complement attributed edge, are used to improve the efficiency of the package.
ISSN 
DownLoad: