中国科学院计算技术研究所机构知识库(CSpace): 检索

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

帮助

已选(0)清除条数/页：排序方式：
	无权访问的条目期刊论文作者: 李光辉; 邵明; 李晓维 Adobe PDF(524Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/11/23
	基于增量可满足性的等价性检验方法期刊论文计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者: 李光辉; 李晓维收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 增量可满足性等价性检验组合电路形式验证数字集成电路等价结点
	基于BDD的组合电路等价性检验方法期刊论文微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者: 李光辉; 邵明; 李晓维收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 BDD 形式验证等价性检验符号模拟三叉判决图组合电路专用集成电路

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