标题：数字电路芯片验证方法研究综述
作者：曹庆年 姚翌 孟开元
作者单位：西安石油大学计算机学院，陕西 西安 700065
关键字：动态验证；静态验证；硬件加速仿真
摘要：目前验证的方法和工具种类繁多，对动态验证、静态验证和硬件加速仿真三种典型的芯片验证方法进行综述，在验证设计质量、验证时间和验证成本三个方面说明各自的特点。最后提出了芯片验证的展望。对于芯片验证方法的研究，以期对后续研究人员了解芯片验证方法，在今后的芯片验证设计过程中结合设计特点，选择正确的验证方法有所帮助。