[发明专利]一种Soc芯片验证方法

说明书

本发明公开了一种Soc芯片验证方法，其特征在于在待验证Soc芯片内部的地址空间中划分一段或者2段以上的总线地址空间作为虚拟通讯接口，待验证Soc芯片的外部还挂载有包括外部驱动模块和虚拟接口监控模块；虚拟接口监控模块监控到该随机数申请，通过随机函数产生随机数据，并通过外部驱动模块将生成的随机数据写入虚拟存储载体中；在虚拟通讯接口的地址范围内将不同的地址定义为不同通讯请求，虚拟通讯接口通过总线上数据的地址信息来识别是否属于事先规划好的通讯请求。通过引入虚拟通讯接口的实时监控，有效控制随机激励的产生，并通过打印信息，仿真进程控制，实现CPU程序与硬件仿真程序的实时交互，有利于问题的快速定位，使得验证能够快速收敛。

技术领域

本发明涉及Soc芯片设计及制造领域，特别涉及一种Soc芯片验证方法。

背景技术

随着设计与工艺技术的不断发展，集成电路设计的规模越来越大，复杂度越来越高，为了缩短芯片的上市时间，节约开发成本，多家IP的集成也渐渐成为主流，即SoC(System-on-Chip)技术发展越来越成熟，但也带来SoC的验证复杂度呈现指数级的增长。因此，一个高效的验证平台使得验证迅速收敛显得尤为重要。验证的收敛与激励产生的有效性以及调试的便利性息息相关，而SoC芯片中通常会嵌入CPU，CPU程序激励的随机性也变得很重要。传统的验证平台主要有两种：如图1是程序生成随机数Soc验证平台示意图，该方法通过在CPU程序中直接进行随机数生成，如C调用rand函数生成随机数，此方法缺点是无法做到真正的随机，每次运行得到的随机数都是一样的，无法满足激励随机的要求；图2是脚本生成随机数Soc验证平台示意图，如通过脚本语言perl产生随机数，然后使用如C语言include语句加载这部分随机数据后用来产生随机激励，此方法缺点是每次运行SoC仿真前，都必须先运行产生随机数的程序，使用不方便且影响验证效率。或增加多个用例修改种子，这又带来重复性的劳动，降低验证的效率。C语言实现的CPU程序为例，如果在C程序中直接调用rand函数随机，由于rand函数取决于种子的随机性，而嵌入式CPU并没有提供有效的种子生成机制，这会导致每次运行产生的数据都是固定的，即SoC仿真每次跑的都是固定的测试用例，从而无法提高其覆盖率。同样的，如果使用外部程序产生随机数，C程序include的方式，则有导致测试用例运行失败无法复现场景的缺点。此外，两种验证平台都没有提供很好的调试手段，这对于定位问题的效率大大降低。因此，需要提供一种新的SoC验证平台克服上述问题，以提高效率，减少验证时间并提高验证覆盖率。

发明内容

针对以上缺陷，本发明目的是如何在不增加设计成本的前提下提高随机激励的覆盖率，进而实现提升验证效率的目的。

为了解决以上问题本发明提出了一种Soc芯片验证方法，其特征在于在待验证Soc芯片内部的地址空间中划分一段或者2段以上的总线地址空间作为虚拟通讯接口，待验证Soc芯片的外部还挂载有包括外部驱动模块和虚拟接口监控模块；当待验证Soc芯片的CPU程序运行需要随机数据时，CPU通过虚拟通讯接口将随机数据需求信息写入虚拟存储载体，并在总线上发起随机数据交易申请，虚拟接口监控模块监控到该交易申请，则通过调用随机数生成模块产生随机数据，并通过外部驱动模块将生成的随机数据写入虚拟存储载体中并通知CPU，CPU读取虚拟存储载体中的随机数据实现随机数据的获取并实现CPU程序激励的动态随机；在虚拟通讯接口的地址范围内将不同的地址定义为不同通讯请求，虚拟通讯接口通过总线上数据的地址信息来识别是否属于事先规划好通讯请求，待验证Soc芯片的CPU通过虚拟存储载体与虚拟通讯接口进行数据动态交互。

所述的Soc芯片验证方法，其特征在于所述的虚拟通讯接口通过硬件仿真实现。

所述的Soc芯片验证方法，其特征在于所述虚拟通讯接口至少包括一个调试信息打印的访问接口，将虚拟通讯接口中的一个地址指定作为调试信息打印的访问接口专用，该地址上携带的数据为需要输出的具体打印信息数据，打印信息数据采用ASCII格式；并分别通过定义的数据作为打印开始和结束标志。