- 1
- 2
- 3
- 4
- 5
SystemVerilog验证方法学介绍
资料介绍
1SystemVerilog验证方法学介绍
芯片验证中虽然传统验证方法尽力保持技术更新步伐以适应设计尺寸以及复杂度的增加,但验证依然是当前SoC以及可重用IP模块设计中面临的最大挑战。解决这个问题的方法是采用有丰富语义支持的标准语言,以及可重用,覆盖率为驱动的验证方法学。
这是文章中的第一部分:介绍由SystemVerilog硬件设计验证标准语言支持的验证方法学。此方法学在《VMM for SystemVerilog》一书中有全面介绍。
《VMM for SystemVerilog》致力于如何建立一个可升级,可预期,可重用的验证环境,使得用户能充分利用断言性,重用性,验证平台自动生成,覆盖率,形式分析以及其他先进验证技术特点,从而帮助解决RTL以及系统级中验证技术问题。如此一个环境能在芯片迈出成功第一步时增加用户验证信心。《VMM for SystemVerilog》目的是针对所有SoC,IP项目建立一个高效,可控验证过程。《VMM for SystemVerilog》来源于业界领先的ARM公司,Synopsys 公司(新思科技)及其客户经验。
部分文件列表
文件名 | 大小 |
SystemVerilog验证方法学介绍.pdf | 1M |
部分页面预览
(完整内容请下载后查看)最新上传
-
我是蒙帆 打赏1.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户:w178191520
-
21ic下载 打赏310.00元 3天前
用户:小猫做电路
-
21ic下载 打赏310.00元 3天前
用户:gsy幸运
-
21ic下载 打赏210.00元 3天前
用户:zhengdai
-
21ic下载 打赏210.00元 3天前
用户:jh0355
-
21ic下载 打赏210.00元 3天前
用户:jh03551
-
21ic下载 打赏210.00元 3天前
用户:xzxbybd
-
21ic下载 打赏70.00元 3天前
用户:铁蛋锅
-
21ic下载 打赏60.00元 3天前
用户:sun2152
-
21ic下载 打赏60.00元 3天前
用户:xuzhen1
-
21ic下载 打赏60.00元 3天前
用户:liqiang9090
-
21ic下载 打赏20.00元 3天前
用户:w1966891335
-
21ic下载 打赏30.00元 3天前
用户:玉落彼岸
-
21ic下载 打赏15.00元 3天前
用户:x15580286248
-
21ic下载 打赏15.00元 3天前
用户:kk1957135547
-
21ic下载 打赏15.00元 3天前
用户:w993263495
-
21ic下载 打赏30.00元 3天前
用户:SkyEagle88
-
21ic下载 打赏25.00元 3天前
用户:hp860629
-
21ic下载 打赏5.00元 3天前
用户:dong2223333
-
21ic下载 打赏10.00元 3天前
用户:dxb3320
-
21ic下载 打赏10.00元 3天前
用户:DXB193394
-
21ic下载 打赏10.00元 3天前
用户:westup
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
21ic小能手 打赏8.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料:高频功率放大器设计
-
21ic小能手 打赏5.00元 3天前
资料:基于PID的双轮平衡车
-
21ic小能手 打赏10.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户:w178191520
-
21ic下载 打赏310.00元 3天前
用户:小猫做电路
-
21ic下载 打赏310.00元 3天前
用户:zhengdai
全部评论(0)