只为小站
首页
域名查询
文件下载
登录
SystemVerilog-Assertions-and-Functional-Coverage
关于IC验证中用到的断言和功能
覆盖率
,结合了方法学和应用的思想,值得一读
2019-12-21 20:27:09
47.01MB
sv
断言
assertion
覆盖率
1
modelsim中代码
覆盖率
使用详解
Modelsim代码
覆盖率
功能Code coverage,能报告出statement(语句)、branch(分支)、condition(条件)、expression(表达)、toggle(信号翻转)、fsm(有限状态机)等多种
覆盖率
情况。 详细见博客:http://blog.csdn.net/jackinzhou/article/details/7897189
2019-12-21 19:57:50
1.84MB
modelsim
代码覆盖率
1
jacoco统计手动测试
覆盖率
工具文件
配合教程使用http://blog.csdn.net/cxq234843654/article/details/53337935,一个自己写的统计黑盒测试
覆盖率
的工具
2019-12-21 19:37:07
3KB
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
Python+OpenCV实现行人检测(含配置说明)
python大作业--爬虫(完美应付大作业).zip
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
SSM外文文献和翻译(毕设论文精品).doc
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
MPC 模型预测控制matlab仿真程序
mingw-w64-install.exe
2010年-2020中国地面气候资料数据集(V3.0)
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
上帝之眼和拾荒者.rar
IEEE33节点配电网Simulink模型.rar
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
基于matlab的车牌识别系统设计
雷达信号处理仿真程序(MTI,MTD等)
最新下载
DSP 28377在线升级实例[可运行源码]
SQLAssistant9 破解版
OpenJDK11U-jdk_x64_windows_openj9_11.0.10_9_openj9-0.24.0.zip
极域2022专业版2.7.17442
极域电子教室管理系统软件V2.0 2022稳定版 支持Win11
高难习题集——Problems in Mathematical Analysis, Piotr Biler, Alfred Witkowski, Dekker
在EVE模拟器中使用的Cisco 的IOL 全镜像
基于FLAC3D的边坡降雨流固耦合分析:降雨入渗与水位面饱和度监测研究,基于FLAC3D的边坡降雨流固耦合分析:降雨入渗与水位面饱和度监测研究,FLAC3D边坡降雨,流固耦合,降雨入渗,水位面变化,饱
《FLAC3D实体单元分析:弯矩与轴力提取技术在梁、隧道和桩中的应用与案例讲解》,FLAC3D实体单元中梁、隧道、桩的弯矩与轴力提取方法及代码实现(专为6.0版本设计):含代码文件、案例文件及Word
Trino连接达梦数据库的插件包
其他资源
南京市地图 shp文件
DDSRF锁相环仿真.plecs
简单的文件管理系统
基于Web的校园网二手商品交易系统的设计与实现论文
山东师范大学《软件工程导论》期中考试试题(含答案).pdf
美容院会员管理系统源码(含微信端)
C++ RTSP/RTP流媒体客户端源码
地理信息系统概论(第二版)
asp.net 在线订餐系统
人大经-济论-坛-R软件数据分析视频教程(初级).doc
MATLAB工具箱大全- 马尔可夫决策过程 (MDP) 工具箱MDPtoolbox
论代码级性能优化变迁之路(一)
中国国界 - 原版.zip
凌阳61板+AD7705转换+lcd1ocmjx8c显示
括号嵌套问题课程设计
cocos-2d 3.0 小游戏 男人就下100层
计算机组网技术入门
南航计算机考研12-18年922真题
运动人体的摔倒检测
MIL-PRF-38535J微电路制造通用规范
JAVA办公OA源码