程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 全部资料 500 份
domino利用java代码做AD验证
domino利用java代码做AD验证，思路是：先取得AD的用户信息到domino.再在验证时根据输入的用户密码在domino中取得对应的AD用户到AD中验证
2017-06-24
95
经过亲自修改验证的ICD2.5
【史上最完整的ICD2.5工程醒目】 环境：Protel99SE，PCB文件可直接交付制作！ 经过我自己修改审核并验证的ICD2.5完整工程包，加入了ESD保护，接口全兼容ICD2和KIT2，并加入了DB9端口的编程口，非常坚固...
2023-06-11
9
SystemVerilog for Verification (第三版) 系统验证
该文档为SystemVerilog for Verification(3rd)，对于数字IC、FPGA设计等很有帮助，
2022-09-04
4