形式化验证在芯片研发中的应用

来源 :中国集成电路 | 被引量 : 0次 | 上传用户:leafxzc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在高性能处理器芯片的研发中,风险主要来自芯片的正确性代价成本。如何在流片前及时、彻底地发现设计中潜藏的逻辑错误,保证芯片的可用性、高效性,始终是业内着力解决的问题。本文介绍了当前芯片验证的现状和分析形式验证的必要性,以及如何将形式验证恰当的应用到芯片研发当中。最后对形式验证工具引入后进行了多方位的评估,较好的印证了形式验证的特点在高性能处理器芯片验证过程中能够得到充分的发挥。
其他文献
2015年9月19-20日,由中国自然辩证法研究会环境哲学专业委员会主办,四川师范大学政治教育学院和环境生产力与社会发展研究中心(筹)承办的“环境悬崖与社会转型发展”学术论坛在四川师范大学狮子山校区召开。来自北京大学、清华大学、中国社会科学院、东南大学、四川大学、内蒙古大学、湖南师范大学、南京师范大学、西南政法大学等40多所高校的40多位专家、学者出席本次学术论坛。   “环境悬崖”这一概念由唐代
提出一种基于RBF神经网络的股市预测建模方法,并采用递阶遗传算法训练RBF网络的参数、权重和结构,对上证综指和个股(伊利股份)的建模与预测结果表明,该训练方法使RBF神经网络具有很强的学习
"努力建设美丽中国"是马克思主义生态思想中国化的最新成果。马克思主义中国化应当关注马克思恩格斯生态文明思想的中国化问题,他们的生态文明思想博大精深,对中国的生态文明