首页
短视频去水印
文件下载
熊文件免费下载
登录 / 注册
首页
/ 【SystemVerilog】路科验证V2学习笔记(全600页).pdf
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
上传者:
weixin_44857476
|
上传时间:2022/10/19 15:18:43
|
文件大小:47.25MB
|
文件类型:PDF
systemverilog
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。
目录如下:第一章SV环境构建常识 1 1.1数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2过程块和方法 27 initial和always 30 function逻辑电路 33 task时序电路 35 动态静态变量 39 1.3设计例化和连接 45第二章验证的方法 393 动态仿真 395 静态检查 397 虚拟模型 403 硬件加速 405 效能验证 408 功能验证 410第三章SV组件实现 99 3.1接口 100 什么是interface 101 接口的优势 108 3.2采样和数据驱动 112 竞争问题 113 接口中的时序块clocking 123 利于clocking的驱动 133 3.3测试的开始和结束 136 仿真开始 139 program隐式结束 143 program显式结束 145 软件域program 147 3.4调试方法 150第四章验证的计划 166 4.1计划概述 166 4.2计划的内容 173 4.3计划的实现 185 4.4计划的进程评估 194第五章验证的管理 277 6.1验证的周期检查 277 6.2管理三要素 291 6.3验证的收敛 303 6.4问题追踪 314 6.5团队建设 321 6.6验证的专业化 330第六章验证平台的结构 48 2.1测试平台 49 2.2硬件设计描述 55 MCDF接口描述 58 MCDF接口时序 62 MCDF寄存器描述 65 2.3激励发生器 67 channelinitiator 72 registerinitiator 73 2.4监测器 74 2.5比较器 81 2.6验证结构 95第七章激励发生封装:类 209 5.1概述 209 5.2类的成员 233 5.3类的继承 245 三种类型权限protected/local/public 247 thissuper 253 成员覆盖 257 5.4句柄的使用 263 5.5包的使用 269第八章激励发生的随机化 340 7.1随机约束和分布 340 权重分布 353 条件约束 355 7.2约束块控制 358 7.3随机函数 366 7.4数组约束 373 7.5随机控制 388第九章线程与通信 432 9.1线程的使用 432 9.2线程的控制 441 三个fork...join 443 等待衍生线程 451 停止线程disable 451 9.3线程的通信 458第十章进程评估:覆盖率 495 10.1覆盖率类型 495 10.2功能覆盖策略 510 10.3覆盖组 516 10.4数据采样 524 10.5覆盖选项 544 10.6数据分析 550第十一章SV语言核心进阶 552 11.1类型转换 552 11.2虚方法 564 11.3对象拷贝 575 11.4回调函数 584 11.5参数化的类 590第十二章UVM简介 392 8.2UVM简介 414 8.3UVM组件 420 8.4UVM环境 425
文件下载
立即下载
资源详情
mVerilog】路科验证V2学习笔记(全600页).pdf-cite-
评论信息
sinat_57520877:
挺不错的,很有用,可以拿来学习,帮助很大
2021-05-25
TimZhou:
太感谢了,很及时,很给力
2021-04-06
其他资源
Web程序设计 : ASP.NET适用网站开发 .pdf
c#winform带暗影的panelvs2008
HTML5仿领取宝APP页面
Div+CSS仿支付宝登录页面
asp.netERP管理系统实例
尚硅谷JavaWeb项目源码及其PPT
fastjson+ajax+sppringmvc前后使用json传值的demo
基于asp.netMVC的专业OA系统
RSA签名验签工具
c#json传值实例完整sln处理方案
支付宝接口VB.NET版
基于jsp+servlet+ajax的web聊天室
基于ASP.NET的图书管理系统
领取宝app领取服务端demo(PHP)版本
领取宝源码demo
IIR滤波器的FPGA设计.rar_Verilog滤波_iirverilog_滤波FPGA_滤波器verilog_滤波器I
简单校园博客零碎asp.net
ASP.NETC#教务管理系统源代码论文
全局组搜索优化算法及其应用研究(2012年)
ASP.NET注册模块设计
免责申明
【好快吧下载】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【好快吧下载】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【好快吧下载】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,8686821#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录or注册
|
微信登录
一言
相关资源标签
热门下载
CNS2_CN_VW_P0095D_0332.7z
几何画板课件350套.zip
ENVI去云补丁Haze_tool文件及其使用说明和安装方法
Android控件GridView之仿支付宝钱包首页带有分割线的GridView九宫格的完满实现
超声随心所欲xp版.rar
软件开发文档书写规范
分形维数MATLAB程序
ADCSPI配置FPGA代码
NavicatPremiumforMacv12.0.22.0
二维声波高阶有限差分地震波场模仿
几个flash动画作品带源文件
spring+springmvc+mybatis+mysql+实现的APP信息管理系统.rar
基于matlab产生粉红色噪声和高斯色噪声noise.m
乐玩插件9.09(最新).zip
有限单元法基本原理和数值方法(清晰版)
蒙古国省界(shp)
UCINET6中文版
U-Boot-2015-04-27.zip
全国行政区划数据(含经纬度边界)
Update.ZIP_TWRP_RK3368_3.1.0-0_170318
最新下载
基于winPcap开发嗅探器(c++,带界面)
FFMPEG/OpenCV实现RTSP码流解码显示的程序V2.0(可工程应用)
Android端大华视频播放SDK,包含demo
986条注入点
C语言中字符数组操作的函数实现(C语言实现)
51电子跑表资料代码1.0.zip
银行从业资格【判断推理】讲义.pdf
进食计划-源码
hive-hbase-handler-1.2.1.jar
kinect获取深度和彩色数据并保存
贪吃蛇游戏python代码
奇安信网神防火墙系统(NSG系列)用户手册【6.1.10.51756_02】.pdf
max/msp基础教程之jitter基础
GoldenGate12c(ogg12c)一对多同步案例
软考程序员教程PDF
传感器实用电路150例.pdf
完整的ssh项目源码
OfficePasswordRecoveryToolboxv4.0.0.3完美脱壳破解版5s破解
MFC校园导航图可视化校园地图
MATLAB火焰火焰烟雾识别【GUI,报警】.rar