We focus on theory of verification, verification practice, autoverification and reusable verification technology to improve the verification technology and make verification reasonable. so we can improve the efficiency of verification to assure quality of IC design. 本文对芯片设的验证技术进行了探讨,从验证理论,验证实践,验证自动化,验证重用等处着眼,研究如何通过验证技术的应用和验证流程的合理化实现高效率验证,提高芯片设计的质量。