SoC芯片验证技术的研究

A Study on SoC’s Verification Techniques

近几年来,SoC技术已经得到了迅速的发展,随之而来的是SoC设计的验证也变得更加复杂,花费的时间和人力成倍增加。一个SoC芯片的验证可能会用到多种验证技术,常用的SoC的验证技术包括SoC的模拟仿真技术、静态时序分析技术、SoC的FPGA验证技术、SoC的形式验证技术以及SoC的软硬件协同验证技术等。本文讨论了这几种验证技术的特点以及在SoC设计中的作用。

SoC technology has been improved currently. However, verification in SoC design has become much more complicated. The verification of a SoC combines many kinds verification techniques. The verification techniques for SoC include simulation technique of SoC, static timing analyze of SoC, FPGA verification technique of SoC, formal verification technique of SoC, SW/HW coverification technique of SoC and etc. Several types of verification are discussed in the paper.