您的位置： 专家智库 > >

李洋洋

作品数：1 被引量：9H指数：1
供职机构：北京工业大学集成电路与系统实验室更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇SVA
  • 1篇UART

机构

  • 1篇北京工业大学

作者

  • 1篇王龙伟
  • 1篇侯立刚
  • 1篇吴武臣
  • 1篇王宁
  • 1篇李洋洋

传媒

  • 1篇微电子学与计...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于断言的验证方法在UART模块中的应用研究被引量：9
2010年
介绍了一种易于实现的基于断言的验证(ABV)方法,即经过5个步骤在设计文件中插入断言,使仿真器在仿真过程中监视设计中的关键功能点.该方法在UART的寄存器传输级(RTL)模型功能验证中的应用,实验中使用SVA描述设计属性.实验证明,这一方法提高了设计的可观察性,适用于数字集成电路功能验证.
李洋洋吴武臣王龙伟王宁侯立刚
关键词：SVAUART
全选 清除 导出
共1页<1>
聚类工具0