Abstract: With the rapid advancement of integrated circuits technology and the continuing increase of the application demand for performance,verification has become the main bottleneck of future on-chip multi-core processor.This paper analyzes deeply the challenging problems: large verification state space,difficulty in verification completeness,complicated memory structure and interconnection network,difficulty in post silicon verification.This paper also surveys the research progress in simulation,emulation,formal verification and post-silicon verification.Future research directions are also presented.