您的位置： 专家智库 > >

宋小明

作品数：1 被引量：1H指数：1
供职机构：电子科技大学电子工程学院更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇断言
  • 1篇SOC
  • 1篇SYSTEM
  • 1篇VERILO...
  • 1篇AHB
  • 1篇ASSERT...

机构

  • 1篇电子科技大学
  • 1篇华为技术有限...

作者

  • 1篇薛红喜
  • 1篇宋小明
  • 1篇李宏
  • 1篇刘斌

传媒

  • 1篇现代电子技术

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
SoC中多层AHB总线的断言验证应用被引量：1
2011年
随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满足系统要求。基于断言的验证方法学近年来发展极为迅速,应用也越来越广泛。在基于Multi-layer AHB总线架构上的SoC系统验证过程中,采用System Verilog Assertion验证方法,证明SVA是SoC设计过程中功能验证的一种有效的验证方法。
宋小明薛红喜刘斌李宏
关键词：断言SYSTEMVERILOGASSERTIONAHB
全选 清除 导出
共1页<1>
聚类工具0