电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>C语言|源代码>基于SystemVerilog语言的验证方法学介绍

基于SystemVerilog语言的验证方法学介绍

2011-05-09 | doc | 455 KB | 次下载 | 免费

资料介绍

 

  文章主要介绍《VMM for SystemVerilog》一书描述的如何利用SystemVerilog语言,采用验证方法学以及验证库开发出先进验证环境。文章分为四部分,第一部分概述了用SystemVerilog语言验证复杂SoC的基本方法。第二部分主要介绍使用先进验证技术进行RTL验证并定义一个能在项目之间进行验证单元重用的分层验证平台结构。第三部分将涉及到系统级验证,包括SystemVerilog 与SystemC交互等方面。当与一个合适方法相结合,SystemVerilog提供了建立一个完整RTL以及系统级(ESL)验证环境需要的所有结构及特性。同时完全支持与System C或与一个以C为基础的软件测试环境交互。第四部分讨论验证所采用的验证策略,VMM方法学,以及利用《VMM for SystemVerilog》中定义的标准库来支持方法学。这些库涉及到文章中讨论的基本方法,XVC,XVC管理器,软件验证等方面。

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1IP6823 支持 qi 认证的无线充电发射控制 SOC
  2. 1.01 MB  |  1次下载  |  免费
  3. 2IP6824  全集成QI 无线充电发射控制SOC
  4. 1.22 MB  |  1次下载  |  免费
  5. 3带注入电流控制的1.8V通用SP8T-Z和2个SP4T-Z模拟开关
  6. 847.62KB   |  次下载  |  免费
  7. 4PESD18VY1BBIF保护二极管规格书
  8. 4.56MB   |  次下载  |  免费
  9. 574HC4050缓冲器规格书
  10. 217.58KB   |  次下载  |  免费
  11. 674HC193;74HC7193二进制加减计数器规格书
  12. 327.93KB   |  次下载  |  免费
  13. 774HC73-Q100双JK触发器规格书
  14. 220.85KB   |  次下载  |  免费
  15. 8ASW3410 USB3.1高速数据开关切换规格书
  16. 1.39 MB   |  次下载  |  免费

本月

  1. 1A7159和A7139射频芯片的资料免费下载
  2. 0.20 MB   |  55次下载  |  5 积分
  3. 2零死角玩转STM32F103—指南者
  4. 26.78 MB   |  41次下载  |  1 积分
  5. 3PIC12F629/675 数据手册免费下载
  6. 2.38 MB   |  36次下载  |  5 积分
  7. 4PIC16F716 数据手册免费下载
  8. 2.35 MB   |  18次下载  |  5 积分
  9. 5dsPIC33EDV64MC205电机控制开发板用户指南
  10. 5.78MB   |  8次下载  |  免费
  11. 6STC15系列常用寄存器汇总免费下载
  12. 1.60 MB   |  7次下载  |  5 积分
  13. 7AN-1267: 使用ADSP-CM408F ADC控制器的电机控制反馈采样时序
  14. 1.41MB   |  5次下载  |  免费
  15. 8LP9962集成 PFC 和 和的 高压半桥驱动的 LLC 谐振
  16. 3.30 MB  |  4次下载  |  免费

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935124次下载  |  10 积分
  3. 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
  4. 1.48MB  |  420063次下载  |  10 积分
  5. 3Altium DXP2002下载入口
  6. 未知  |  233088次下载  |  10 积分
  7. 4电路仿真软件multisim 10.0免费下载
  8. 340992  |  191367次下载  |  10 积分
  9. 5十天学会AVR单片机与C语言视频教程 下载
  10. 158M  |  183335次下载  |  10 积分
  11. 6labview8.5下载
  12. 未知  |  81581次下载  |  10 积分
  13. 7Keil工具MDK-Arm免费下载
  14. 0.02 MB  |  73813次下载  |  10 积分
  15. 8LabVIEW 8.6下载
  16. 未知  |  65988次下载  |  10 积分