Computer Science ›› 2007, Vol. 34 ›› Issue (3): 293-294.
Previous Articles
LI Shao-Rong, XU Yu-Ting (College of Opto-electronic Information, UESTC of China, Chengdu 610054)
Online:
Published:
Abstract: This paper analyzes equivalence checking methods of combinational circuits based on binary decision diagram. The methods to structure the BDDs of outputs are discussed, and two different kinds of algorithms dealing with the boolean operations between BDDs
Key words: Equivalence check, BDD, Combinational circuits
LI Shao-Rong, XU Yu-Ting (College of Opto-electronic Information, UESTC of China, Chengdu 610054). [J].Computer Science, 2007, 34(3): 293-294.
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/I3/293
Cited