程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 热门资料
查看全部 500 份 →时序电路的等价验证方法
随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等...
2024-04-07
1
LVS验证的实验指导.doc
本资源《LVS验证的实验指导》详细介绍了集成电路设计中至关重要的布局与原理图一致性验证（Layout Versus Schematic, LVS）过程。文档内含从基础概念到高级应用技巧，适合初学者快速入门以及经验丰富的IC设计师深入研究。通...
2025-12-02
1