%0 Journal Article
%T A Technique for Reordering Variables in an SBDD to Reduce the Size of BDD<br>简化BDD的SBDD和变量重排序结合算法
%A LI Shao-Rong
%A XU Lin-Lin
%A <br>李绍荣
%A 徐琳琳
%J 计算机科学
%D 2007
%I 
%X 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 size of BDD. Firstly, we mainly introduce some background knowledge about Binary Decision Diagrams (BDD) in this paper. Secondly, we describe the ITE algorithm. Finally, we provide a technique for reordering variables in an SBDD to reduce the size of BDD.
%K Boolean function
%K Formal verification
%K Variables reordering
%K Binary decision diagram
%K Shared BDD<br>布尔函数
%K 形式化验证
%K 二叉判定图
%K 变量重排序
%K 共享BDD
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=54DD1938378F9F0AAB3A90C26836FF18&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=E158A972A605785F&sid=EBD6B792C9111B87&eid=334C61CAF4C8EF4E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=4