中国科学院计算技术研究所机构知识库

浏览/检索结果: 共8条，第1-8条

帮助

限定条件

文献类型：期刊论文

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	无权访问的条目 期刊论文 作者:  范宝峡 Adobe PDF(419Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2012/05/23
	无权访问的条目 期刊论文 作者:  刘领一;  赵阳;  吕涛;  李华伟;  李晓维 Adobe PDF(271Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/22
	无权访问的条目 期刊论文 作者:  张 珩;  沈海华 Adobe PDF(310Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/15
	无权访问的条目 期刊论文 作者:  邵明;  李光辉;  李晓维 Adobe PDF(303Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/01
	无权访问的条目 期刊论文 作者:  李光辉;  邵明;  李晓维 Adobe PDF(524Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/23
	无权访问的条目 期刊论文 作者:  李晓维;  吕涛;  李光辉;  邵明 Adobe PDF(135Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/03/30
	基于增量可满足性的等价性检验方法 期刊论文 计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者:  李光辉;  李晓维 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 增量可满足性  等价性检验  组合电路  形式验证  数字集成电路  等价结点
	基于BDD的组合电路等价性检验方法 期刊论文 微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者:  李光辉;  邵明;  李晓维 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 BDD  形式验证  等价性检验  符号模拟  三叉判决图  组合电路  专用集成电路