程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 热门资料
查看全部 500 份 →SoC设计的FPGA验证策略研究
近几年来，SoC设计已经成为了集成电路设计发展趋势之一。基于平台的设计解决方案，加上丰富的第三方IP，可以快速的构建一个满足市场需求的SoC芯片。但是，随着SoC设计复杂程度的增加，验证工作也变得越来越困难，验证工作所需时间也越来越长，验证...
2023-10-31
8
系统芯片SoC原型验证技术
随着系统芯片(SoC)设计复杂度不断增加，使得缩短面市时间的压力越来越大。虽然IP核复用大大减少了SoC的设计时间，但是SoC的验证仍然非常复杂耗时。SoC和ASIC的最大不同之处在于它的规模和复杂的系统性，除了大量硬件模块之外，SoC还需...
2023-06-10
2