%0 Journal Article
%T 基于bdd的组合电路等价性检验
%A 李绍荣 徐玉婷？
%J 计算机科学
%D 2007
%X 本文分析了基于bdd的组合电路等价性检验；讨论了构造输出函数的二叉判定图bdd的不同方法，并分析了bdd间布尔操作的不同的算法的异同；然后给出了一种基于bdd的组合电路等价性检验方法。
%K 等价性验证二叉判定图组合电路
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=24411741&flag=1