您的位置： 专家智库 > >

王宗宝

作品数：1 被引量：0H指数：0
供职机构：合肥工业大学电子科学与应用物理学院微电子设计研究所更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇等价
  • 1篇等价性
  • 1篇等价性验证
  • 1篇RTL
  • 1篇EDA软件
  • 1篇IC设计
  • 1篇FORMAL...

机构

  • 1篇合肥工业大学

作者

  • 1篇陈巨
  • 1篇圣应山
  • 1篇鲁斌
  • 1篇王宗宝

传媒

  • 1篇中国集成电路

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Formality在rtl-gate等价性验证中的应用
2006年
验证在整个设计流程中一直扮演着重要的角色。高效的验证对于提高产品的质量和缩短设计周期具有重要的意义。但是随着IC设计规模和复杂度的不断增加,如何保证验证的高覆盖率和减少验证的时间,已经成为IC设计的瓶颈。为此需要新的设计方法和EDA软件的支持。在这样一种背景下形式化验证技术显示出了许多优点。本文针对在使用新思公司的Formality工具进行rtl-gate的等价性验证中所遇到的一些问题给出一些解决方案,通过正确的使用这些方法减小了设计者在非设计问题上花费的时间,从而可以使设计者更快地发现设计上的问题。
鲁斌王宗宝圣应山陈巨
关键词：等价性IC设计EDA软件
全选 清除 导出
共1页<1>
聚类工具0