期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
时序电路逻辑初始化研究 被引量:1
1
作者 王仲 康葳 魏道政 《电子测量与仪器学报》 CSCD 1999年第2期20-23,共4页
本文讨论了同步时序电路初始化问题,提出了一种基于电路存储元件逻辑定级和可控性分析的同步时序电路逻辑初始化方法。同时也给出了针对ISCAS89电路的一些实验结果。
关键词 同步时序电路 逻辑初始化 逻辑定级 可控性排序
在线阅读 下载PDF
基于变量排序的BDD简化
2
作者 何新华 《电子测量与仪器学报》 CSCD 1995年第3期7-13,共7页
本文详细分析了二元判定图BDD(BinaryDecisionDiagram)的基本特征,研究了影响BDD大小的主要因素──变量的排序问题.基于多输出电路的重叠输入变量段,作者提出局部变量的动态排序策略并逐步逼近全局变量的最佳排序,试图有效地降低... 本文详细分析了二元判定图BDD(BinaryDecisionDiagram)的基本特征,研究了影响BDD大小的主要因素──变量的排序问题.基于多输出电路的重叠输入变量段,作者提出局部变量的动态排序策略并逐步逼近全局变量的最佳排序,试图有效地降低BDD的大小,从而为电路的逻辑验证和测试生成提供了有效的手段.实验证明作者提出的局部变量动态排序算法是非常有效的. 展开更多
关键词 变量 排序 节点 布尔操作 二元判定图 布尔函数
在线阅读 下载PDF
EODBMS:一个实用的工程数据库管理系统
3
作者 隋雪青 李凤森 《计算机研究与发展》 EI CSCD 北大核心 1992年第6期37-41,共5页
本软件系统是在APOLLO DN 3000工作站上研制开发的国家75-52重点机械产品计算机辅助设计系统开发的分专题:机械产品计算机辅助设计数据库系统.它提供了一种机械产品计算机辅助设计的数据库管理环境,它可以支持机械产品的反复、试探和发... 本软件系统是在APOLLO DN 3000工作站上研制开发的国家75-52重点机械产品计算机辅助设计系统开发的分专题:机械产品计算机辅助设计数据库系统.它提供了一种机械产品计算机辅助设计的数据库管理环境,它可以支持机械产品的反复、试探和发展的设计过程对数据库系统的要求. 展开更多
关键词 工程数据库 管理系统 EODBMS
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部