%0 Journal Article
%T An Equivalence Method for Verifying the Combinational Circuits Based on BDD<br>基于BDD的组合电路等价性检验
%A LI Shao-Rong
%A XU Yu-Ting
%A <br>李绍荣
%A 徐玉婷
%J 计算机科学
%D 2007
%I 
%X 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 are discussed. Then we present a equivalence method for verifying the combinational circuits based on BDD.
%K Equivalence check
%K BDD
%K Combinational circuits<br>等价性验证
%K 二叉判定图
%K 组合电路
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6560B3BAA9FB214DB93FB55116BC79C0&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=38B194292C032A66&sid=2AC7DCCBBC26ECF8&eid=E39A3F4E3A67639B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7