资料介绍
文章主要介绍《VMM for SystemVerilog》一书描述的如何利用SystemVerilog语言,采用验证方法学以及验证库开发出先进验证环境。文章分为四部分,第一部分概述了用SystemVerilog语言验证复杂SoC的基本方法。第二部分主要介绍使用先进验证技术进行RTL验证并定义一个能在项目之间进行验证单元重用的分层验证平台结构。第三部分将涉及到系统级验证,包括SystemVerilog 与SystemC交互等方面。当与一个合适方法相结合,SystemVerilog提供了建立一个完整RTL以及系统级(ESL)验证环境需要的所有结构及特性。同时完全支持与System C或与一个以C为基础的软件测试环境交互。第四部分讨论验证所采用的验证策略,VMM方法学,以及利用《VMM for SystemVerilog》中定义的标准库来支持方法学。这些库涉及到文章中讨论的基本方法,XVC,XVC管理器,软件验证等方面。
- SystemVerilog3.1a语言参考手册 3次下载
- IEEE SystemVerilog标准:统一的硬件设计规范和验证语言 1次下载
- 利用Systemverilog+UVM搭建soc验证环境 5次下载
- SystemVerilog的正式验证和混合验证 24次下载
- 神经网络的方法学习课件免费下载 17次下载
- 符合验证方法手册VMM的基于SystemVerilog事务的测试平台详细介绍 2次下载
- 程方法学讲义memory 0次下载
- 基于SystemVerilog的I2C总线模块验证 27次下载
- 集成电路设计方法学概论 36次下载
- 基于ARM9的AFDX-ES SoC验证平台的构建与实现
- OVM实现了可重用的验证平台
- 一种基于事务的SoC功能验证方法
- 在SoC设计中采用ESL设计和验证方法
- 结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用
- SystemVerilog 3.1a语言参考手册
- SystemVerilog在硬件设计部分有哪些优势 1325次阅读
- SystemVerilog的随机约束方法 1821次阅读
- 如何实现一个验证MCU指令 852次阅读
- 如何实现全面的SystemVerilog语法覆盖 616次阅读
- 开源的Bluespec SystemVerilog (BSV)语言表现如何? 798次阅读
- ASIC和FPGA区别及建模概念 1199次阅读
- SystemVerilog语言中的Upcasting和Downcasting概念解析 1531次阅读
- 怎样去使用SystemVerilog中的Static方法呢 1182次阅读
- SystemVerilog中的操作方法 2941次阅读
- Systemverilog event的示例 1599次阅读
- 使用Verilog/SystemVerilog硬件描述语言练习数字硬件设计 1739次阅读
- 基于DPI-C接口的UVM验证平台设计与实现介绍 7000次阅读
- 基于VMM验证方法学的MCU验证环境 3364次阅读
- Verilog HDL语言的文件调用问题:include使用方法介绍 6898次阅读
- 基于OVM验证平台的IP芯片验证 2844次阅读
下载排行
本周
- 1IP6823 支持 qi 认证的无线充电发射控制 SOC
- 1.01 MB | 1次下载 | 免费
- 2IP6824 全集成QI 无线充电发射控制SOC
- 1.22 MB | 1次下载 | 免费
- 3带注入电流控制的1.8V通用SP8T-Z和2个SP4T-Z模拟开关
- 847.62KB | 次下载 | 免费
- 4PESD18VY1BBIF保护二极管规格书
- 4.56MB | 次下载 | 免费
- 574HC4050缓冲器规格书
- 217.58KB | 次下载 | 免费
- 674HC193;74HC7193二进制加减计数器规格书
- 327.93KB | 次下载 | 免费
- 774HC73-Q100双JK触发器规格书
- 220.85KB | 次下载 | 免费
- 8ASW3410 USB3.1高速数据开关切换规格书
- 1.39 MB | 次下载 | 免费
本月
- 1A7159和A7139射频芯片的资料免费下载
- 0.20 MB | 55次下载 | 5 积分
- 2零死角玩转STM32F103—指南者
- 26.78 MB | 41次下载 | 1 积分
- 3PIC12F629/675 数据手册免费下载
- 2.38 MB | 36次下载 | 5 积分
- 4PIC16F716 数据手册免费下载
- 2.35 MB | 18次下载 | 5 积分
- 5dsPIC33EDV64MC205电机控制开发板用户指南
- 5.78MB | 8次下载 | 免费
- 6STC15系列常用寄存器汇总免费下载
- 1.60 MB | 7次下载 | 5 积分
- 7AN-1267: 使用ADSP-CM408F ADC控制器的电机控制反馈采样时序
- 1.41MB | 5次下载 | 免费
- 8LP9962集成 PFC 和 和的 高压半桥驱动的 LLC 谐振
- 3.30 MB | 4次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935124次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420063次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73813次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
评论