IC验证技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
md5碰撞验证程序,可以构造两个md5一样的exe文件。
通用的表单验证,可以适合各种web开发使用
AT91SAM7X256的CAN功能验证
正弦函数DFT验证,通过离散序列傅里叶变换DFT验证正弦函数的频域特性并绘出频谱图
基于VMM的高级验证方法学,讲述了验证平台的搭建 和 具体的实例
介绍AVM高级验证方法学,讲述了高级验证方法学的实现机制,给出了验证平台中关键component的SystemC实现和SystemVerilog实现
人民邮电出版社一书的配套光盘,包含书上所有原代码,特别是状态机部分,值得学习
·形式验证法(论文)
加载登录表单中...
加载注册表单中...
加载表单中...