您的位置： 专家智库 > >

丁莎

作品数：1 被引量：0H指数：0
供职机构：机电部更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇断言
  • 1篇USB
  • 1篇IP核

机构

  • 1篇华中师范大学
  • 1篇机电部

作者

  • 1篇丁莎
  • 1篇邓在辉

传媒

  • 1篇毕节学院学报...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
断言验证技术在IP核验证中的应用
2008年
随着IP核设计的复杂程度不断提高,功能验证越来越受到重视。高效的断言验证技术被广泛应用到IP核验证上来。用Verilog HDL语言实现该技术在USB IP核验证中的应用,它可以帮助在软件开发测试过程中更早更快地发现并定位出软件中可能存在的错误,断言主要是证明在某个设计中应该为正确或从来不出现的组合属性和时序属性,在设计中是否满足要求。
邓在辉丁莎
关键词：断言IP核USB
全选 清除 导出
共1页<1>
聚类工具0