Abstract: ASIC（application specific integrated circuit） technology and design methodologies develop very rapidly. More and more functions and circuits are integrated in a SOC（system on chip）. Designers must use advanced methodologies and tools to verify their larger and larger VLSI design, so as to guarantee the first silicon success and meet the time to market.Here described are various kinds of ASIC verification methods and a real universal microprocessor’s design verification system, which would be helpful to those who want to build a powerful verification plan and make their design adequately verified.