吴 军，华更新，刘鸿瑾

(北京控制工程研究所，北京100190)

SoC验证方法学研究与应用

吴 军，华更新，刘鸿瑾

(北京控制工程研究所，北京100190)

SoC系统功能日益复杂，规模也日益庞大，SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结，包括验证流程、验证层次和验证技术.通过对基于DW 8051的SoC的验证实践，证明了这套验证方法学的可行性和有效性.

SoC;验证方法学;验证流程;验证层次;验证技术

目前SoC的研究和应用已经成为嵌入式计算机进一步发展的重要推动手段，其依托的原动力来自于半导体工艺的长足进步.随着设计复杂度的不断增大，验证变得越来越困难.目前的SoC开发队伍中，验证人员一般是设计人员的2～3倍，验证所花的时间和精力已占整个开发过程80%，验证已经成为整个SoC开发过程的瓶颈.本项目通过对SoC的验证进行了方法的总结和归纳，在此基础上利用对基于DW 8051微控制器的SoC的进行实践来检验总结和归纳的方法的正确性和有效性，目的是掌握SoC的验证体系，形成一套可信的验证流程.

SoC的运算核心基于Synopsys®DW 8051 IP，在此基础上增加了多种星敏感器的外围接口逻辑.它具有以下的特点以及相对基本的8051微控制器的增强特性[1]:

(1)兼容工业标准的803x/805x

1)标准的8051指令集;

2)参数可选的全双工串口;

3)3个Timer;

(2)高速体系结构

1)每个指令周期为4个时钟周期;

2)指令执行时间相比标准的8051可以有平均2.5倍的提高;

3)双数据指针.

1 验证方法学[2-6]

验证与测试的区别首先需要明确，因为在实践中往……