程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 全部资料 500 份
FPGA系统设计与验证实战指南
小梅哥团队的开发指南书籍，里面有大量的实例，对于新手FPGA学习有很大的帮助，书中小梅哥的实例由简单到复杂，对于各种细节交代的也十分清楚，相信跟着这本书一点一点的学习，很快的可以入门FPGA
2021-11-09
46
基于sv的网络处理验证平台
该验证平台基于 VMM 架构, 采用 Syste mVer ilog语言编写所需的验证组件和功能覆盖率代码,并在设计代码中插入断言 ( SVA), 将两者结合起来, 能够快速、 准确的定位出网络处理器在执行过程中发生的错误,有效对其进行功能...
2025-05-29
4