MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN

He Xinhua; Gong Yunzhan; Wei Daozheng

Volume 19 Issue 3

May 1997

Turn off MathJax

Article Contents

Article Navigation > Journal of Electronics & Information Technology > 1997 > 19(3): 356-360

He Xinhua, Gong Yunzhan, Wei Daozheng . MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN[J]. Journal of Electronics & Information Technology, 1997, 19(3): 356-360.

Citation:

He Xinhua, Gong Yunzhan, Wei Daozheng . MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN[J]. Journal of Electronics & Information Technology, 1997, 19(3): 356-360.

He Xinhua, Gong Yunzhan, Wei Daozheng . MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN[J]. Journal of Electronics & Information Technology, 1997, 19(3): 356-360.

Citation:

He Xinhua, Gong Yunzhan, Wei Daozheng . MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN[J]. Journal of Electronics & Information Technology, 1997, 19(3): 356-360.

PDF( 987 KB)

MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN

He Xinhua^{①;宫云战},
Gong Yunzhan,
Wei Daozheng

Received Date: 1995-03-06
Rev Recd Date: 1995-10-03
Publish Date: 1997-05-19

Abstract

Abstract

Effective description for Binary Decision Diagram(BDD) has proven useful in many applications as data structure for Boolean function. Based on the BDD of standard gate, recursive appending from primary input to output for BDD construction is proposed. Several benchmark circuits is shown to verify this method.

FullText(HTML)

References(1)

References

Lee C. Representation of switching circuits by BDDs. Bell Sys. Tech. J., 1959, 38(7): 985-999.[2]Bryant R E. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comput,[3]86, 635(8): 677-691.[4]Brace K S.[J].Rudell R E, Bryant R E. Efficient implementation of a BDD package. Design Autometion8.1987,:-[5]Jain J.[J].et al. IBDDs: An efficient functional representation for digital circuits. Design Autometion9.1992,:-. IBDDs: An efficient functional representation for digital circuits. Design Autometion' target='_blank'>[6]Minato S.[J].Ishiura N, Yajima S. Shared BDD with attributed edge for efficient Boolean functional manipulation, DA9.1990,:-

Relative Articles

Supplements(0)

Cited By

Proportional views