Computer Science ›› 2007, Vol. 34 ›› Issue (4): 287-288.
Previous Articles Next Articles
LI Shao-Rong ,XU Lin-Lin (College of Opto-electronic Information, UESTC of China, Chengdu 610054)
Online:
Published:
Abstract: Binary Decision Diagram is a graph-based data structure for representing Boolean function. They have found widespread use in computer-aided design and in formal verification of digital circuits. We mainly investigate how to store BDD and to reduce the siz
Key words: Boolean function, Formal verification, Variables reordering,Binary decision diagram, Shared BDD
LI Shao-Rong ,XU Lin-Lin (College of Opto-electronic Information, UESTC of China, Chengdu 610054). [J].Computer Science, 2007, 34(4): 287-288.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I4/287
Cited