首页> 中文会议>第十四届全国容错计算学术会议 >数字集成电路设计错误的静态检测系统

数字集成电路设计错误的静态检测系统

页面导航

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

摘要

随着芯片集成度的不断提高，功能验证已成为IC设计流程中时间耗费最大的环节，因此尽早且快速地发现集成电路设计中的错误，对于缩短验证周期具有重要意义。本文从模拟验证方法发现的功能错误中提取错误特征，引入软件测试领域中的静态检测方法实现了一个数字集成电路设计错误的静态检测系统。此系统包括：功能错误模型的提取，抽象语法树的建立、存储及搜索。实验结果表明对于某些功能错误用此系统进行检测，相比较其他方法（模拟验证、人工走查等）而言能更早且快速地发现错误，具有更高的验证效率，可将此系统作为已有验证方法的一个补充来使用。

著录项

来源
《第十四届全国容错计算学术会议》|2011年|1-6|共6页
会议地点北京
作者
杨志; 吕涛; 李华伟; 李晓维;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类设计;测试和检验;
关键词
集成电路; 芯片设计; 功能验证; 电路测试;

相似文献

中文文献
外文文献
专利

1. 静态时序分析在数字集成电路设计中的应用 [J] . 黎声华 ,邹雪城 ,莫迟 . 电子技术应用 . 2003,第008期
2. EDA技术在数字集成电路设计中的应用（下）——最新EDA技术在数字集成电路设计中的实例 [J] . 郭丽 ,张启卯 ,刘伟 . 科技信息 . 2007,第030期
3. 3.75 GHz 0.35 μm CMOS 1:4静态分频器集成电路设计 [J] . 包志华 ,景为平 . 南京邮电大学学报（自然科学版） . 2001,第004期
4. EDA技术在数字集成电路设计中的应用（上）——数字集成电路的发展以及与EDA技术的关系 [J] . 郭丽 ,张启卯 ,刘伟 . 科技信息 . 2007,第030期
5. 基于工程教育认证的“数字集成电路设计”课程教学改革 [J] . 曹贝 . 黑龙江教育：综合版 . 2021,第004期
6. 静态构件的高分辨率X射线数字成像检测系统 [C] . 程耀瑜 ,李永红 ,韩焱 . 2004年全国射线检测新技术研讨会 . 2004
7. LPDDR4中错误检查和纠错电路设计与静态时序分析 [A] . 张一凡 . 2019

数字集成电路设计错误的静态检测系统

摘要

著录项

相似文献

相关主题

期刊订阅