论文部分内容阅读
由于半导体制造工艺的进步，ＩＣ设计的规模越来越大，越来越复杂，对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正确性，具有模拟验证所不具有的优点。该文介绍了形式验证的基本概念，以及几种主要的验证方法：定理证明、模型判别、符号模拟以及符号轨迹求值等，并分析各自的优势及不足，最后指出了形式验证未来的发展趋势和应该解决的若干问题。