期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
对称检测算法的研究
1
作者 陈国章 陈昊 何丕廉 《天津大学学报（自然科学与工程技术版）》 EI CAS CSCD 北大核心 2001年第5期611-614,共4页
对称是逻辑综合、逻辑优化以及映像技术领域中一个非常重要的性质 .对于对称函数 ,可以使用特殊的逻辑综合程序来改进设计结果 .使用对称也可以提高映像技术和等价检测的有效性 .提出一种用于
关键词 布尔函数 有序双元判定图 OBDD 对称检测 逻辑综合程序 逻辑优化 映像技术
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部