论文部分内容阅读
随着信息化的不断发展,市场对SoC芯片的要求越来越高,这提高了SoC系统芯片设计的规模和复杂度,导致了SoC的验证工作面临着严重的挑战。本文研究了基于仿真的验证技术、静态分析验证技术、形式验证技术等SoC验证方法,分析了它们各自的优缺点。结合飞思卡尔集成电路设计有限公司研发的某型号SoC系统芯片项目,引入了C-API的软硬件协同SoC的验证技术。其中主要针对C-API验证技术能够快速验证和方便使用这两方面的优势进行了研究。(1)引入C-API的验证技术能够加快验证速度的优势主要表现在:在同类产品中,即使是处理器内核的架构不同,工程师也可以使用C-API将功能相同或相似模块的设计验证代码进行相互移植,这提高了代码的复用性,节省了工程师对不同核进行重新编写代码的时间,这极大地提高了产品开发的效率;(2)引入C-API的验证技术能够使验证变得更方便的优势主要体现在:工程师通过使用封装在C-API的软硬件验证技术中的宏和函数,如DEBUG、TRACE、INFO和ERROR等函数可以很方便地调试验证代码、追踪验证流程、查看验证信息和查找验证的错误信息等,还可以通过使用C-API技术中的Trigger机制和Mailbox机制控制整个SoC系统芯片验证流程。因此,引入C-API的软硬件协同验证技术不仅可以节省工程师对不同的核进行重新编写代码的时间,提高产品开发的效率;也可以使C程序与外部的激励的交互变得很方便的;还可以控制验证的流程,追踪验证流程和查看验证信息,并通过其打印的log对验证的信息进行方便快速的定位。本文以飞思卡尔开发某型号SoC芯片的I~2C模块作为验证实例,引入C-API的验证技术对I~2C的寄存器的读写功能,门控制钟的控制功能,作为主从机对数据的收发功能,以及在不同的波特率下对数据的传输功能和I~2C的重启动功能进行了验证。该技术的使用使I~2C的验证变得简单快速。对于引入C-API验证技术的优势,飞思卡尔给出了数据,即在开发人员人数不变的情况下,该技术能够使验证任务由传统事务验证方法所需的6个月时间缩短至2个月。本文研究的C-API的软硬件协同SoC验证的方法已获得飞思卡尔前端设计部门的认可和采用。