推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

SystemVerilog验证方法学介绍

更新时间:2019-09-13 21:52:54 大小:1M 上传用户:sun2152查看TA发布的资源 标签:systemverilog 下载积分:1分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

1SystemVerilog验证方法学介绍

芯片验证中虽然传统验证方法尽力保持技术更新步伐以适应设计尺寸以及复杂度的增加,但验证依然是当前SoC以及可重用IP模块设计中面临的最大挑战。解决这个问题的方法是采用有丰富语义支持的标准语言,以及可重用,覆盖率为驱动的验证方法学。

这是文章中的第一部分:介绍由SystemVerilog硬件设计验证标准语言支持的验证方法学。此方法学在《VMM for SystemVerilog》一书中有全面介绍。

《VMM for SystemVerilog》致力于如何建立一个可升级,可预期,可重用的验证环境,使得用户能充分利用断言性,重用性,验证平台自动生成,覆盖率,形式分析以及其他先进验证技术特点,从而帮助解决RTL以及系统级中验证技术问题。如此一个环境能在芯片迈出成功第一步时增加用户验证信心。《VMM for SystemVerilog》目的是针对所有SoC,IP项目建立一个高效,可控验证过程。《VMM for SystemVerilog》来源于业界领先的ARM公司,Synopsys 公司(新思科技)及其客户经验。


部分文件列表

文件名 大小
SystemVerilog验证方法学介绍.pdf 1M

【关注B站账户领20积分】

部分页面预览

(完整内容请下载后查看)
前言: 芯片验证中虽然传统验证方法尽力保持技术更新步伐以适应设计尺寸以及复杂度的  
增加,但验证依然是当前  
SoC 以及可重用 IP 模块设计中面临的最大挑战。  
1 SystemVerilog  
验证方法学介绍  
芯片验证中虽然传统验证方法尽力保持技术更新步伐以适应设计尺寸以及复杂度的增  
加,但验证依然是当前 SoC 以及可重用 IP 模块设计中面临的最大挑战。 解决这个问题的方  
法是采用有丰富语义支持的标准语言,以及可重用,覆盖率为驱动的验证方法学。  
这是文章中的第一部分: 介绍由 SystemVerilog 硬件设计验证标准语言支持的验证方  
法学。此方法学在《 VMM for SystemVerilog  
》 一书中有全面介绍。  
VMM for SystemVerilog 》致力于如何建立一个可升级,可预期,可重用的验证环  
境,使得用户能充分利用断言性,重用性,验证平台自动生成,覆盖率,形式分析以及其他  
先进验证技术特点,从而帮助解决  
RTL 以及系统级中验证技术问题。如此一个环境能在芯  
VMM for SystemVerilog 》目的是针对所有  
片迈出成功第一步时增加用户验证信心。《  
SoC IP 项目建立一个高效,可控验证过程。 VMM for SystemVerilog 》来源于业界领  
先的 ARM 公司, Synopsys 公司(新思科技)及其客户经验。  
1.1 验证面临挑战  
随着 SoC IP 验证复杂度持续增加,有相应的新验证技术产生,但设计能力与验证所  
能提供信心之间鸿沟仍然巨大。多次调查显示有一半到三分之二的  
失败,而功能缺陷的存在是其中主要原因。  
SoC 项目在第一次流片  
这些统计显示了要验证当今设计所具有的固有难度。复杂模块,尤其在集成到一起后,  
很难在验证中将芯片实际运用可能遇到的所有条件模拟执行。预期到所有可能边界条件  
corner cases ),以及发现设计中深层次设计缺陷是验证面临的关键挑战之一。非常紧  
迫的是在规定项目资源以及  
能早发现设计缺陷。  
time-to-market  
需求情况下,项目过程中花费最小代价尽可  
1.2 SystemVerilog 验证技术  
对用户来说有多种方法编写验证平台,搭建验证环境。通常方法包括全手工编写代码  
进行独立直接验证,或生成带约束随机仿真激励,能自动产生新测试用例先进的验证平台。  
最有效技术包括利用功能覆盖率统计更进一步加强自动验证效率。  
断言检查设计意图,诊断设计缺陷。  
一些验证技术还包括应用  
VMM for SystemVerilog  
》 覆盖了多种验证技术,并详细介绍如何将他们有机结  
合在一起。多种先进验证技术的有效融合能彻底改进验证,增加验证产量,加速开发进程,  
尽早结束项目。相对于传统方法消耗更少资源。《  
VMM for SystemVerilog 》既能提升现  

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载