您的位置： 专家智库 > >

赵学娟

作品数：1 被引量：3H指数：1
供职机构：中国民航大学天津市民用航空器适航与维修重点实验室更多>>
发文基金：中央高校基本科研业务费专项资金中国民航大学科研基金国家自然科学基金更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇SVA
  • 1篇SYSTEM
  • 1篇VERILO...

机构

  • 1篇中国民航大学

作者

  • 1篇赵学娟
  • 1篇周德新
  • 1篇王鹏
  • 1篇金志威

传媒

  • 1篇电子器件

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于System Verilog的SRAM控制器IP核验证被引量：3
2012年
随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大。能否对设计进行全面有效的验证,是验证人员所面临的主要问题。采用SystemVerilog语言对SRAM控制器IP核搭建验证环境,并结合SVA断言技术对其实行监控,得出代码及功能覆盖率数据。通过与传统的验证方法对比分析可知,基于SystemVerilog的验证方法更加全面有效,提高了验证质量。
周德新金志威王鹏赵学娟
关键词：SYSTEMVERILOGSVA
全选 清除 导出
共1页<1>
聚类工具0