高效构建模拟验证环境方法的研究

摘要

随着集成电路设计的规模和复杂度不断增加,验证成为集成电路设计的最大挑战.模拟验证是集成电路验证最常用的方法,本文介绍了从验证环境构建的角度来提升超大规模集成电路验证效率的方法，包括设计的动态裁剪、分布式的设计代理、微结构匹配的模型开发，虚拟模型的重用，验证环境中的设计复用。并在此基础上提出验证环境快速重构的理念，可以大幅提高芯片的验证效率。基于本文提出的方法，在多款国内超大规模集成电路芯片的验证中得到广泛应用，并取得良好的验证效果。