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

章小兵; 陈光

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-12-08

- 构造二元判决图过程中的记忆方法
- Learning Methods in Constructing Binary Decision Diagrams
- 电子学报 1997年第5期
- 作者机构：
  
  电子科技大学ＣＡＴ研究室
- 作者简介：
- 基金信息：
  
  国家“八五”重点科技攻关项目
- DOI：
  中图分类号： TP331.1
- 纸质出版：1997
- 稿件说明：
移动端阅览
[1]章小兵,陈光　.构造二元判决图过程中的记忆方法[J].电子学报,1997(05):53-56.

章小兵, 陈光. Learning Methods in Constructing Binary Decision Diagrams[J]. Acta Electronica Sinica, 1997, (5).
[1]章小兵,陈光　.构造二元判决图过程中的记忆方法[J].电子学报,1997(05):53-56. DOI：

章小兵, 陈光. Learning Methods in Constructing Binary Decision Diagrams[J]. Acta Electronica Sinica, 1997, (5). DOI：

摘要

在二元判决图ＢＤＤ（ＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ）运算包中，缓存记忆对提高ＢＤＤ的运算速度起了很大的作用、本文提出了一种电路级上的动态记忆方法，它根据电路的结构进行更有目的的记忆．对ＩＳＣＡＳ＇８５标准电路作的实验结果表明本文的动态记忆方法有效地提高了构造ＢＤＤ的速度．

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

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

具有偶数个变元的高非线性度平衡布尔函数的构造

基于复数权神经元的布尔函数稳健学习算法

三类Semi-Bent函数的构造

一阶相关免疫函数的新构造方法与计数

阿贝尔群上函数的傅里叶谱特征