只为小站
首页
域名查询
文件下载
登录
SystemVerilog
Assertions and Functional Coverage.pdf
Ashok B. Mehta (auth.) -
SystemVerilog
Assertions and Functional Coverage_ Guide to Language, Methodology and Applications-Springer International Publishing 非常好的学习验证的中文资料,尤其是assertion 。极力推荐。
2021-08-13 15:50:57
47.01MB
SVA
断言验证
覆盖率
验证
1
A-Practical-Guide-for-
SystemVerilog
-Assertions中文版
中文版清华出版的A-Practical-Guide-for-
SystemVerilog
-Assertions,学习
systemverilog
断言的经典书籍
2021-08-13 10:26:16
3.61MB
systemverilo
assertion
断言
验证
1
夏宇闻
SystemVerilog
+验证方法学
夏宇闻
SystemVerilog
+验证方法学
2021-08-11 09:48:50
45.42MB
System
Verilog
1
32位浮点数加法器_system verilog.zip
32位浮点数加法器基于system verilog,可以实现串行输入的两个标准化的32位浮点数的相加并得到标准化的结果。此外该加法器能处理“特殊”数字:零、正无穷、负无穷和“非数字(NaN)”。本文件带测试代码
2021-08-07 14:06:25
3KB
verilog
浮点数加法器
systemverilog
1
SystemVerilog
3.1a语言参考手册.chm
SystemVerilog
3.1a语言参考手册.chm 中文 本参考手册详细描述了Accellera为使用Verilog硬件描述语言在更高的抽象层次上进行系统的建模和验证所作的扩展。这些扩展将Verilog语言推向了系统级空间和验证级空间。
SystemVerilog
构建于IEEE Verilog 2001委员会所作的工作之上。
2021-08-07 12:13:43
6.39MB
SystemVerilog
参考手册
Verilog
1
SystemVerilog
验证方法学 清晰中文版 北航出版社 有书签
SystemVerilog
验证方法学 清晰中文版 北航出版社 有书签 目前国内应用最广泛的验证方法VMM的唯一一本中文教材 由北航出版社出版 夏宇闻教授等翻译 相当好的一本书 学习芯片验证不可不看
2021-08-07 10:41:53
45.42MB
ASIC
SystemVerilog
VMM
芯片开发
1
SystemVerilog
标准手册
systemverilog
的IEEE标准文档,学习SV的最好参考资料,下载于IEEE官网,1800-2017
2021-08-05 06:54:20
15.3MB
verilog
systemverilog
1
路桑验证V2pro1.pdf
SV基础学习,讲解的个人感觉还不错,一些基础点都会点出来
2021-08-04 18:05:51
47.18MB
systemverilog
1
ue10.0
SystemVerilog
高亮.7z
ue10.0
SystemVerilog
高亮文件,直接复制wordfile.txt
2021-08-03 17:08:13
31KB
sv
ue10.0
1
1800-2017.pdf
提供了
SystemVerilog
的语言语法和语义定义,它是一种统一的硬件设计、规范和验证语言。该标准支持在行为、寄存器传输级别 (RTL) 和门级抽象级别对硬件进行建模,并支持使用覆盖率、断言、面向对象编程和约束随机验证编写测试平台。该标准还为外国编程语言提供了应用程序编程接口 (API)。
2021-08-03 09:05:46
10.14MB
1800-2017
systemverilog
硬件设计
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
Keil5安装包
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
王万良-人工智能导论(第五版)课件
离散时间信号处理第三版课后习题答案
基于OpenCV的车牌号码识别的Python代码(可直接运行)
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
锁相环simulink建模仿真.rar
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
ios无人直播 虚拟视频实用版 可以导入视频
长江流域shp.zip
JPEG的Matlab实现
Plexim Plecs Standalone 4.1.2 x64.7z
东南大学英语技术写作慕课所有答案
商用密码应用与安全性评估——霍炜.pdf
Autojs 例子 源码 1600多个教程源码
最新下载
SV labs code.rar
cleaniislog.exe
基于IEC61850标准的智能配电终端建模
elsave(日志清除)
MIXAMO转UE可用素材的辅助工具MIXAMO CONVERTERv2.4
iec61970cim17v23_iec61968cim13v11_iec62325cim03v14.zip
三维DWA动态避障(matlab代码可直接运行,且有详细注释,适合算法入门移植)
geomap_4.0_自动授权学习版
ASN2CSV ASN.1编码转CSV工具 破解版
小米游戏笔记本2019 XMGCF5R0P0504 BIOS 升级程序
其他资源
php文字游戏寻仙纪.zip
复杂网络中基本网络模型的matlab实现
jsp+jdbc——留言管理程序(简单版)
彩色图像分割MATLAB
基于A*算法的单AGV路径规划
24V2A开关电源原理图和PCB
AudioRecordDemo
51单片机串口通信并用数码管显示接收数据
stm32单片机lcd12864并行程序
网络拓扑发现算法c++源码
Unity5.5版本的中文离线文档.zip
机票预订系统
Struts1+Spring+Hibernate整合注册登录(BLing原创).part1.rar
java 缓存 cache lru 实例
JSP技术论文
qt5超级贪吃蛇(单人双人,简单人机,排行榜)
锁相环设计、仿真与应用
高仿墨迹天气