构造二元判决图过程中的记忆方法  

Learning Methods in Constructing Binary Decision Diagrams

作　　者：章小兵[1] 陈光[1] 

机构地区：[1]电子科技大学CAT研究室

出　　处：《电子学报》1997年第5期53-56,共4页Acta Electronica Sinica

基　　金：国家"八五"重点科技攻关项目

摘　　要：在二元判决图ＢＤＤ（ＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ）运算包中，缓存记忆对提高ＢＤＤ的运算速度起了很大的作用、本文提出了一种电路级上的动态记忆方法，它根据电路的结构进行更有目的的记忆．对ＩＳＣＡＳ＇８５标准电路作的实验结果表明本文的动态记忆方法有效地提高了构造ＢＤＤ的速度．Cache is an important way to increase BDD operation speed. This paper proposes ahigher level dynamic learning method for constructing BDD,which performs learning based on thecircuit structure. We compare the performances based on cache and dynamic learning. Experimentalresults on ISCAS'85 benchmark circuits show that our dynamic learning can significantly speed up'constructing BDD.

关 键 词：布尔函数 二元判决图 动态记忆 缓存记忆 CAD 

分 类 号：O153.2[理学—数学] TP391.72[理学—基础数学]