首页> 中文期刊> 《微电子学与计算机》 >基于存储元素映射的层次化等价性检验方法

基于存储元素映射的层次化等价性检验方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.

著录项

来源
《微电子学与计算机》 |2009年第5期|48-51|共4页
作者
李光辉; 曾松伟; 邵明;
展开▼
作者单位

浙江林学院信息工程学院;

浙江杭州311300;

Synopsys公司上海研发中心;

上海200050;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP391.72;
关键词
集成电路; 设计验证; 等价性检验; 存储元素映射;

相似文献

中文文献
外文文献
专利

1. 时序电路等价性检验中的存储元素映射方法研究 [J] . 李光辉 ,曾松伟 . 计算机科学 . 2009,第004期
2. 基于增量可满足性的等价性检验方法 [J] . 李光辉 ,李晓维 . 计算机学报 . 2004,第010期
3. 基于递归学习的组合电路等价性检验方法研究 [J] . 曾琼 . 成都信息工程学院学报 . 2006,第004期
4. 基于替换的组合电路的等价性检验方法 [J] . 曾琼 . 成都信息工程学院学报 . 2006,第002期
5. 基于BDD的组合电路等价性检验方法 [J] . 李光辉 ,邵明 ,李晓维 . 微电子学与计算机 . 2003,第2期
6. 基于BDD的组合电路等价性检验方法 [C] . 李光辉 ,邵明 ,李晓维 . 第二届中国测试学术会议 . 2002
7. 基于高维统计因果推断方法检验DNA甲基化对饮酒与上皮性卵巢癌的中介效应 [A] . 吴冬燕 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号