期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
时序电路逻辑初始化研究
被引量:
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
1
作者
王仲
康葳
魏道政
机构
北京装甲兵工程
学院
电子工程系
中国科学院计算技术研究所cad室
出处
《电子测量与仪器学报》
CSCD
1999年第2期20-23,共4页
基金
上海复旦大学专用集成电路与系统国家重点实验室课题
文摘
本文讨论了同步时序电路初始化问题,提出了一种基于电路存储元件逻辑定级和可控性分析的同步时序电路逻辑初始化方法。同时也给出了针对ISCAS89电路的一些实验结果。
关键词
同步时序电路
逻辑初始化
逻辑定级
可控性排序
Keywords
Sequential circuits
Logical initialization
分类号
TN4 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
基于变量排序的BDD简化
2
作者
何新华
机构
中国科学院计算技术研究所
cad
开放
室
出处
《电子测量与仪器学报》
CSCD
1995年第3期7-13,共7页
文摘
本文详细分析了二元判定图BDD(BinaryDecisionDiagram)的基本特征,研究了影响BDD大小的主要因素──变量的排序问题.基于多输出电路的重叠输入变量段,作者提出局部变量的动态排序策略并逐步逼近全局变量的最佳排序,试图有效地降低BDD的大小,从而为电路的逻辑验证和测试生成提供了有效的手段.实验证明作者提出的局部变量动态排序算法是非常有效的.
关键词
变量
排序
节点
布尔操作
二元判定图
布尔函数
Keywords
ROBDD
Variable ordering
Reduce
Node
Boolean operation
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
EODBMS:一个实用的工程数据库管理系统
3
作者
隋雪青
李凤森
机构
中国科学院计算技术研究所
智能中心
中国科学院计算技术研究所cad室
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第6期37-41,共5页
文摘
本软件系统是在APOLLO DN 3000工作站上研制开发的国家75-52重点机械产品计算机辅助设计系统开发的分专题:机械产品计算机辅助设计数据库系统.它提供了一种机械产品计算机辅助设计的数据库管理环境,它可以支持机械产品的反复、试探和发展的设计过程对数据库系统的要求.
关键词
工程数据库
管理系统
EODBMS
Keywords
engineering database manager system
分类号
TP392 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
时序电路逻辑初始化研究
王仲
康葳
魏道政
《电子测量与仪器学报》
CSCD
1999
1
在线阅读
下载PDF
职称材料
2
基于变量排序的BDD简化
何新华
《电子测量与仪器学报》
CSCD
1995
0
在线阅读
下载PDF
职称材料
3
EODBMS:一个实用的工程数据库管理系统
隋雪青
李凤森
《计算机研究与发展》
EI
CSCD
北大核心
1992
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部