首页
熊猫办公下载
文件下载
根据地址查询经纬度
登录 / 注册
一级分类:
安全技术
存储
操作系统
服务器应用
行业
课程资源
开发技术
考试认证
数据库
网络技术
信息化
移动开发
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
二级分类:
systemverilog验证(张春)源代码(http://chris.spear.net/systemverilog/已经打不开了)
《systemverilog验证》讲解了SystemVerilog语言的工作原理。
引见了类、随机化和功能覆盖率等测试手段和概念,并且在创建测试平台方而提供了很多引导性的建议。
《systemverilog验证》借助大量的实例说明SystemVerilog的各种验证方法,以及如何根据实际的应用情况选择**的方法达到尽可能高的覆盖率。
而且,重点演示了如何使用面向对象编程(OOP)的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台,此外,还论述了SystemVerilog与C语言的接口技术。
2023/2/17 1:07:17
33KB
代码
systemverilo
1
systemverilog的经典例程可直接执行
systemverilog的经典例程,次要程序来自systemverilog功能验证一书。
在modelsim中可直接执行。
搞懂这个程序基本上systemverilog算是入门了。
2015/6/15 17:53:47
64KB
system
verilog
1
systemverilog疾速入门
systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门
2016/10/2 2:02:08
1002KB
system
verilog
UVM
1
systemverilog疾速入门
systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门,systemverilog疾速入门
2018/3/24 2:04:02
1002KB
system
verilog
UVM
1
SystemVerilog-Assertions-and-Functional-Coverage
关于IC验证中用到的断言和功能覆盖率,结合了方法学和使用的思想,值得一读
2015/6/12 23:37:56
47.01MB
sv
断言
assertion
覆盖率
1
【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
2022/10/19 15:18:43
47.25MB
systemverilog
1
systemverilog一系列书籍
本压缩包为一系列关于systemverilog的书籍,systemveirlog在IC设计验证上越来越引起行业的关注,在今后的验证中会愈加广泛,对于有志于IC领域设计与验证的同学很有帮组。
2016/5/3 3:50:34
55.82MB
system
verilog
IC验证
高级编程
1
UVM验证测试平台搭建简单示例(详细)
该文档详细引见利用UVM验证方法学库搭建systemVerilog测试验证平台的步骤和方法,我看完后感觉很好。
能够很快入门UVM,是个不错的资料,分享给大家。
2022/9/4 19:14:16
177KB
System
verilog
UVM
测试平台
1
systemverilog考证方法学课件
systemverilog考证方法学课件
2021/3/21 18:16:26
13.98MB
system
verilog
1
路科V2实验二分析与详解(内看代码和思路)---OOP思想的建立
内置四个小的实验,由初级逐渐提升难度,适合刚入门的小白,作为SystemVerilog的学习值得推荐,动手能力迅速提升。
注明:本实验所用软件QuestaSim,配套使用,可以找我要相关软件的安装包。
2019/5/1 22:54:52
2.47MB
路科
V2
SystemVerilog
IC验证
1
钉钉无人值守自动打卡脚本 永不迟到的神器 安卓和苹果教程
New!
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB
钉钉
钉钉打卡
个人信息
点我去登录or注册
|
微信登录
一言
热门下载
双系统双频伪距单点定位程序
中科院考博英语2009-2018年试题及答案解析(十五套436面).pdf
Docker构建tomcat镜像jdk1.8+tomcat9.zip
飘逸传世引擎源代码
几何画板课件350套.zip
ABAQUS金属非稳态和稳态切削过程的模拟分析_张东进.pdf
HTML5+CSS3中文参考手册(3手册)chm版中文参考手册打包
KEPServerEXV6.7.zip
R9390系列BIOS修改和风扇调速工具
vue项目demo(asp.netmvc5+vue2.5)
ENVI去云补丁Haze_tool文件及其使用说明和安装方法
高光谱和LiDAR多模态遥感图像分类数据集
吉利新金刚2016款车机导航系统
CNS2_CN_VW_P0095D_0332.7z
新升级版TP5商城小程序源码+公众号版+h5一整套源码V3.zip
最新下载
jdk8-windows-x64.zip
dejavu-1.4.0.crx
李庆扬数值分析第五版课件
紫龙书编译原理练习答案
2017美赛题目翻译+O奖论文+参考思路+参考文献+官方英文解读
android网上服装购物系统
SAR图像杂波统计建模
C++builder下使用API函数利用多线程实现串口通信源程序
Verilog控制12864
GAMIT_GIPSY和BERNESE软件解算结果的比较研究
蓝桥杯十届国赛_单片机_程序设计部分(大学组).pdf
蚂蚁金服风控大赛代码
RNN-LSTM卷积神经网络Matlab实现,简单的数据拟合.zip
奇思幼儿园管理系系统永久注册版-专为各幼儿园量身定做
staple多目标跟踪算法代码下载
其他资源
ssh完整项目商城零碎
C#启动项管理器源码_0520.rar
windriverX64附注册码,亲测可以在64bit的win7下使用
课题抓阄工具
本人用VB开发的旅游管理系统+access
整理和积累的Protel99se电路器件封装库原理图库PCB封装库元器件库-10MB.zip
学-源码
软件开发可能产生的风险清单
JAVAEE架构设计与开发实践(配套代码)
多级反馈队列调度算法C语言模拟实现
基于Python、Mysql、Ajax、Neo4j的百度百科爬虫加知识图谱
EXCELTOOL超级工具箱
校园一卡通
clickhouse-common-static-dbg-20.9.2.20-2.x86_64.zip.002
LWJGL-2.90
iFrpfileallinonetoolv1.0.6.zip
ArcGIS10.6Desktop中文言语包
deepearth地图瓦片切图工具
Canvas_Assignment1-源码
银行管理系统数据库