章小兵

作品数：4被引量：0H指数：0
导出分析报告
供职机构：电子科技大学更多>>
发文主题：CAD专家系统超大规模集成电路测试电路布尔函数更多>>
发文领域：自动化与计算机技术理学电子电信更多>>
发文期刊：《电子科技大学学报》《电子学报》更多>>
所获基金：“八五”国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
二元判决图应用中的变量编序算法
《微电子测试》1997年第2期31-35,共5页章小兵 陈光(礻禹) 
国家"八五"重点科技攻关项目(85-703-02-03)资助
本文对当今的二元判决图的变量编序算法进行了综述。在充分阐述静态变量编序算法和动态变量编序算法的原理和实现方法的基础上,对它们进行比较,得出了结论:随着二元判决图在计算机辅助设计的许多领域中的应用愈来愈复杂,动态变量编序算...
关键词：二元判决图 CAD 变量编序算法 
构造二元判决图过程中的记忆方法
《电子学报》1997年第5期53-56,共4页章小兵 陈光 
国家"八五"重点科技攻关项目
在二元判决图ＢＤＤ（ＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ）运算包中，缓存记忆对提高ＢＤＤ的运算速度起了很大的作用、本文提出了一种电路级上的动态记忆方法，它根据电路的结构进行更有目的的记忆．对ＩＳＣＡＳ＇８５标准...
关键词：布尔函数 二元判决图 动态记忆 缓存记忆 CAD 
基于自由二元判决图转换的可测性优化方法
《电子科技大学学报》1997年第2期171-174,共4页章小兵 王勇 陈光 
国家"八五"重点科研项目
提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为ＦＢ－ＤＤ表达形式，然后用切换单元来替换ＦＢＤＤ中的节点，以形成易测的多级网络，再通过冗余的认定和消除来达到可测性逻辑优化的目的。与以前的可测性...
关键词：可测性 优化 冗余消除 自由二元判决图 
二元判决图应用中函数组合方法的改进
《电子科技大学学报》1997年第1期54-57,共4页章小兵 陈光 
国家"八五"重点科研项目
文中确定了Ｂｒｙａｎｔ的基于图的函数组合方法［１］的时间复杂度为Ｏ（｜Ｇ１｜２·｜Ｇ２｜），并提出了基于改进ＩＴＥ算符的函数组合方法。该方法省去了对结果二元判决图的约简步骤，保持了二元判决图的强正则性。
关键词：二元判决图 函数组合 时间复杂度 优化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部