基于SystemVerilog的SRAM控制器IP核验证

• 作者: 周德新 王鹏 赵学娟 金志威
• 来源期刊: 电子器件
• 学科: 工学
• 关键词: 验证 SystemVerilog 覆盖率 SVA
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 电子电路设计分析及应用
• 页码范围: 619-622
• 分类号: TN402
• 字数: 2263字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-9490.2012.05.029

摘要

随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大.能否对设计进行全面有效的验证,是验证人员所面临的主要问题.采用System Verilog语言对SRAM控制器IP核搭建验证环境,并结合SVA断言技术对其实行监控,得出代码及功能覆盖率数据.通过与传统的验证方法对比分析可知,基于System Verilog的验证方法更加全面有效,提高了验证质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王鹏	中国民航大学天津市民用航空器适航与维修重点实验室	76	158	6.0	8.0
2	周德新	中国民航大学航空自动化学院	57	213	7.0	10.0
3	金志威	中国民航大学天津市民用航空器适航与维修重点实验室	5	11	1.0	3.0
4	赵学娟	中国民航大学天津市民用航空器适航与维修重点实验室	1	10	1.0	1.0