| 构造二元判决图过程中的记忆方法 |
| |
| 引用本文： | 章小兵. 构造二元判决图过程中的记忆方法[J]. 电子学报, 1997, 25(5): 53-56 |
| |
| 作者姓名： | 章小兵 |
| |
| 作者单位： | 电子科技大学ＣＡＴ研究室 |
| |
| 基金项目： | 国家“八五”重点科技攻关项目 |
| |
| 摘 要： | 在二元判廖图ＢＤＤ（ＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ）运算包中，缓存记忆对提高ＢＤＤ的运算速度起了很大的作用本文提出了一种电路级上的动态记忆方法，它根据电路的结构进行更有目的记忆，对ＩＳＣＡＳ８５标准电路作的实验结果表明本文的动态记忆方法有效地提高了构造ＢＤＤ的速度。
|
| 关 键 词： | 布尔函数 二元判决图 动态记忆 缓存记忆 CAD |
Learning Methods in Constructing Binary Decision Diagrams |
| |
| Abstract: | 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. |
| |
| Keywords: | Boolean function Binary decision diagram Dynamic learning Cache learning |
| 本文献已被 CNKI 维普 等数据库收录！ |
