程序验证

程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...

资源总数
500

程序验证 热门资料

查看全部 500 份 →

一款符合NIST AES标准的加密算法IP核设计与验证资料，涵盖硬件实现优化、流水线结构、模块资源共享及小面积Sbox设计。支持128/192/256位密钥长度，适用于移动终端和嵌入式系统，实现高效吞吐与低功耗。

2026-03-05 1 程序验证

难得一见的美国X系列战斗机验证机完整资料，涵盖从X-1到X-59的技术演进与设计细节，是研究现代航空推进系统与飞行控制技术的珍贵素材。

2026-01-07 3 程序验证