程序验证

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

资源总数
500

程序验证 全部资料 500 份

随着系统芯片(SoC)设计复杂度不断增加，使得缩短面市时间的压力越来越大。虽然IP核复用大大减少了SoC的设计时间，但是SoC的验证仍然非常复杂耗时。SoC和ASIC的最大不同之处在于它的规模和复杂的系统性，除了大量硬件模块之外，SoC还需...

2013-07-02 169 程序验证

可以进行两次密码的验证，我美化了下，可以显示一些信息，蛮有成就感的。javascript，在火狐和ie下均通过，没有通过，你联系我。396693709

2014-12-02 127 程序验证

基于VB实现的纯数字验证码识别实例，经过实际项目验证，适用于图像处理与OCR基础训练，代码结构清晰，便于理解和扩展。

2026-01-27 3 程序验证

SoC设计验证技术发展综述, 一篇论文，具体阐述功能验证内容、功能验证方法学、形式验证、 时序验证和物理验证，重点介绍了 IP 验证、系统级验证、模拟仿真和 FPGA 验证以及各种验证手段，并指 出设计验证技术和设计验证平台的发展方向。

2026-02-19 1 程序验证