没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
软件测试
VERIFICATION BY ERROR MODELING
VERIFICATION BY ERROR MODELING
Formal
Method
需积分: 10
0 下载量
65 浏览量
2013-06-22
18:30:28
上传
评论
收藏
13.84MB
PDF
举报
温馨提示
立即下载
VERIFICATION BY ERROR MODELING
资源推荐
资源评论
UVM_Verification.zip
浏览:57
UVM学习资源,小型UVM验证平台,学习用。提供了说明指引,可以选择自己完成代码加深理解,并且有参考答案。
HashVerification哈希值校验工具V1.1
浏览:190
5星 · 资源好评率100%
Hash Verification哈希值校验工具是一款小巧的哈希值校验工具,可以快速校验任意文件的MD5、SHA1、SHA256、CRC32校验码。程序提供2种校验算法,分别是内置哈希算法和Windows哈希算法,两种算法的结果应该一致。提供2种算法的好处是可以软件内自行对比校验结果,增强结果的可信度;可以适合更广泛的操作系统,避免某种算法在部分系统上无法使用导致无法给出有效结果;
embedded system design modeling synthesis and verification
浏览:192
embedded system design modeling synthesis and verification
Modeling and Verification of Distributed Cyber-Physical Systems
浏览:68
Modeling and Verification of Distributed Cyber-Physical Systems
Morgan Kaufmann - ASIC & FPGA Verification - A Guide to Component Modeling
浏览:130
Morgan Kaufmann - ASIC & FPGA Verification - A Guide to Component Modeling这本书是FPGA和ASIC验证的一本很有分量的书籍。
Springer.Embedded System Design.Modeling Synthesis and Verification.2009
浏览:106
5星 · 资源好评率100%
Springer.Embedded System Design.Modeling Synthesis and Verification
ESL DESIGN AND VERIFICATION
浏览:145
4星 · 用户满意度95%
6 Specifications and Modeling 139 7 Pre-Partitioning Analysis 175 8 Partitioning 205 9 Post-Partitioning Analysis and Debug 265 10 Post-Partitioning Verification 295 11 Hardware Implementation 333 12
Petri Nets: Fundamental Models, Verification and Applications
浏览:200
Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems and
hardware verification with c++
浏览:56
verification with c++
ASIC.and.FPGA.Verification.A.Guide.to.Component.Modeling.Morgan.Kaufmann.eBook
浏览:25
4星 · 用户满意度95%
ASIC.and.FPGA.Verification.A.Guide.to.Component.Modeling.Morgan.Kaufmann.eBook
页面最效果Verification.html
浏览:194
5星 · 资源好评率100%
新页面叫Verification.html,在头部新加了一个链接入口。banner也改了一下。你看看
system verification using_soundcheck
浏览:27
system_verification_using_soundcheck
papers about formal verification
浏览:53
toward the verification of persive systems. you can find this paper is on a project supervisized by professor Mark Ryan atl. It is on the issue of verification of protocols.
2017Modeling of the shrinking process of a bubble induced by l
浏览:8
2017Modeling of the shrinking process of a bubble induced by laser metal ablation in water and experimental verification
Hardware Design Verification Simulation
浏览:5
Hardware Design Verification Simulation
SystemVerilog For Verification 2nd
浏览:162
SystemVerilog For Verification 2nd
step-by-step functional verification with SV and ovm
浏览:120
step-by-step functional verification with SV and ovm
ANSYS Workbench Verification Manual.pdf
浏览:139
5星 · 资源好评率100%
ANSYS Workbench Verification Manual
writting testbench verification plan
浏览:12
writting testbench verification plan,下载前请注意,自己翻译的,英语水平一般啊。
jenkins发版报错Host key verification failed
浏览:85
5星 · 资源好评率100%
jenkins发版报错Host key verification failed. jenkins发版报错Host key verification failed. jenkins发版报错Host key verification failed. jenkins发版报错Host key verification failed. jenkins发版报错Host ...
Verification--Calibre
浏览:89
Basic of Layout Verification
20余套微信小程序源代码(含前端和后端)
浏览:73
20余套微信小程序源代码(含前端和后端)微信小程序源码带后台+教程+不同行业的源码集合。如有侵权或安装问题请联系附带微信.
python实现好看的GUI界面pyqt5
浏览:86
本资源基于网络的参考实现了好看的GUI界面,并带有样式截图,下载下来即可看见各种截图和py文件,可直接在python环境运行,基于pyqt5实现
软件工程课程设计报告期末大作业-超市管理系统.zip
浏览:58
5星 · 资源好评率100%
软件工程课程设计报告大作业,课题:小型超市管理系统,内容包括1.系统可行性研究报告 2.需求规格说明书 3.设计规格说明书 4.测试分析报告 5.课程设计总结 五个部分,只是分析了设计方案并没有源码实现。
3.2EStudy启动后无法显示界面的解决办法.zip
浏览:92
5星 · 资源好评率100%
3.2EStudy启动后无法显示界面的解决办法.zip
完整功能测试报告模板.doc
浏览:116
5星 · 资源好评率100%
完整的软件功能性测试报告模板。XXXX项目功能测试报告,文档修订记录,目录,项目概述,项目背景,测试目的...
VISIO电气电子元件库.rar
浏览:185
4星 · 用户满意度95%
本元件库包含电气电子专业的各种元件图,可为该专业方向的同学绘制强电弱电等方面的图提供便利。
软件测试报告(参考样例).doc
浏览:152
完整的软件功能性测试报告模板。XXXX项目功能测试报告,文档修订记录,目录,项目概述,项目背景,测试目的...
交互式多模型 IMM(CT/CV混合)及代码实现
浏览:8
5星 · 资源好评率100%
基于交互式多模型算法进行仿真,.程序中采用了两个模型,将CV,CT模型混合起来进行估计,仿真场景可以自己设计,完成车辆位置跟踪。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
u011168556
粉丝: 0
资源:
21
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
IMG_20240426_175733.jpg
易语言HIPP精易扩展V1.0.1
indy之路第一篇 UDP进行通讯(2)
portable.bouncycastle.1.9.0
按以下要求实现程序功能(java代码).docx
java实现获取今日天气源码
精品协同供应链集成解决方案V70.rar
GJB 899A-2009
最新租号平台系统源码,可选择单独租用或与他人合租.rar
备胎书屋2024-04-12.torrent
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功