引入c-api的软硬件协同soc验证技术

《引入c-api的软硬件协同soc验证技术》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、３ｒｉ野巧結謂似毒ｇ硕±学位论文？［＼圏＾Ｐ？引入Ｃ－ＡＰＩ的觀件愤同＾ＳｏＣ验证技术１王云飞作者姓名学校导师姓名、职赖马佩军副觀Ｓ企业导师姓名、职热刘新化＿ｊ３申请学位类别工程硕圭西安电子科技大学学位论文独创性（或创新性）声明秉承学校严谨的学风和优良的科学道德ｒ本人声明所呈交的论文是我个人在导师指导下进行的研巧工作及取得的研究成果。尽我所知，除了文中特别加扭标注和致谢中所罗列的内容［＾］１外，论文中不包含其他人己经发表或撰写过的研究成果；也不包含位或证书而使

2、用过的材料一为获得西安电子科技大学或其它教育机构的学。与我同工作的同事对本研究所做的任何贡献均己在论文中作了明确的说明并表示了谢意。一切法律责任学位论文若有不实么处，本人承担。＾巧＾日期＞３本人签名：王：呵肖巧８西安电子科技大学关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，目Ｐ：研巧生在校攻读学位期间论文工作的知识产权属于西安电子科技大学。学校有权保留送交论文、公布论文的全部或部分内容，允许采用影的复印件借阅论文；学校可Ｗ，允许查腐印。同时本人保证，结合学位论文研巧成果完成的

3、论、缩印或其它复制手段保存论文文、本发人明专签利等成果，署名单位为西安电子科技大学。名；王＾导师签名：日期：ｊ／岛日期：ｇ月？句午吁学校代码10701学号1311122918分类号TN4密级公开西安电子科技大学硕士学位论文引入C-API的软硬件协同SoC验证技术作者姓名：王云飞领域：软件工程学位类别：工程硕士学校导师姓名、职称：马佩军副教授企业导师姓名、职称：刘凯高工学院：微电子学院提交日期：2015年12月SoftwareandHardwareCo-verificationTechnologyofSoCBasedonC

4、-APIisAdoptedAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByWangYunfeiSupervisor:MaPeijunAssociateProfessorLiuKaiSeniorEngineerDecember2015摘要摘要随着信息化的不断发展，市场对SoC芯片的要求越来越高，这提高了SoC系统芯片设计的规模和复杂度，导致了SoC的验证工作面临着严重的挑

5、战。本文研究了基于仿真的验证技术、静态分析验证技术、形式验证技术等SoC验证方法，分析了它们各自的优缺点。结合飞思卡尔集成电路设计有限公司研发的某型号SoC系统芯片项目，引入了C-API的软硬件协同SoC的验证技术。其中主要针对C-API验证技术能够快速验证和方便使用这两方面的优势进行了研究。(1)引入C-API的验证技术能够加快验证速度的优势主要表现在：在同类产品中，即使是处理器内核的架构不同，工程师也可以使用C-API将功能相同或相似模块的设计验证代码进行相互移植，这提高了代码的复用性，节省了工程师对不同核进行重新编写代码的时间，这极大地提高

6、了产品开发的效率；(2)引入C-API的验证技术能够使验证变得更方便的优势主要体现在：工程师通过使用封装在C-API的软硬件验证技术中的宏和函数，如DEBUG、TRACE、INFO和ERROR等函数可以很方便地调试验证代码、追踪验证流程、查看验证信息和查找验证的错误信息等，还可以通过使用C-API技术中的Trigger机制和Mailbox机制控制整个SoC系统芯片验证流程。因此，引入C-API的软硬件协同验证技术不仅可以节省工程师对不同的核进行重新编写代码的时间，提高产品开发的效率；也可以使C程序与外部的激励的交互变得很方便的；还可以控制验证的流

7、程，追踪验证流程和查看验证信息，并通过其打印的log对验证的信息进行方便快速的定位。2本文以飞思卡尔开发某型号SoC芯片的IC模块作为验证实例，引入C-API的2验证技术对IC的寄存器的读写功能，门控制钟的控制功能，作为主从机对数据的收2发功能，以及在不同的波特率下对数据的传输功能和IC的重启动功能进行了验证。2该技术的使用使IC的验证变得简单快速。对于引入C-API验证技术的优势，飞思卡尔给出了数据，即在开发人员人数不变的情况下，该技术能够使验证任务由传统事务验证方法所需的6个月时间缩短至2个月。本文研究的C-API的软硬件协同SoC验证的方法

8、已获得飞思卡尔前端设计部门的认可和采用。2关键词：系统芯片SoC，C-API验证技术，IC协议IABSTRACTABSTRACTWith