软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和综述了基于软件模拟的SoC功能验证技术的研究进展.同时,基于断言的验证在SoC的功能验证技术中起到重要的辅助性作用,文中阐述了断言技术的研究进展.最后,对软件模拟验证技术的发展趋势进行了展望. Software simulation verification has been widely researched and applied in SoC design, which is the main method of SoC functional verification at present.This paper reviews and summarizes the SoC functional verification technology based on software simulation from the aspects of high abstraction, reusability and automation Research progress.At the same time, assertion-based verification plays an important supporting role in SoC’s functional verification technology, and the research progress of assertion technology is expounded.Finally, the development trend of software simulation and verification technology is prospected.