试析高性能数字soc芯片的验证设计与实现

《试析高性能数字soc芯片的验证设计与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号密级[注1]UDC学位论文高性能数字SoC芯片的验证设计与实现（题名和副题名）周婉婷(作者姓名)指导教师姓名顾行发教授(博导)电子科技大学成都（职务、职称、学位、单位名称及地址）申请专业学位级硕士专业名称检测技术与自动化装置论文提交日期2008.4论文答辩日期2008.5学位授予单位和日期电子科技大学答辩委员会主席评阅人2008年4月9日注1：注明《国际十进分类法UDC》的类号独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰

2、写过的研究成果，也不包含为获得电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。签名：日期：年月日关于论文使用授权的说明本学位论文作者完全了解电子科技大学有关保留、使用学位论文的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后应遵守此规定）签名：导师签名：日期：年月日摘要摘要随

3、着工艺水平的缩小和设计规模的增大，集成电路设计中的验证工作难度也在不断增加。如何能保证设计的正确性和一致性，如何才能为用户提供最方便的验证手段，这是验证工程师所面临的一个严峻问题，也是现代芯片设计成功的关键所在。在集成电路验证技术的发展历程中，验证设计方法学成为一个很重要的指导法则。集成电路验证设计方法学把各种验证技术糅合在全流程设计中，为集成电路设计提供了一个完全的验证解决方案。随着集成电路设计竞争的日趋白热化，同时也对验证工作提出了很多新的要求，设计验证的自动化程度和验证工作的效率高低成为衡量验证工作的重要指标。本文在简单阐述整个数字S

4、oC设计流程的基础上，对当今主流的验证关键技术进行了详细的研究和理论分析，并结合具体的工程项目“雷达信号处理SoC芯片”的设计，完成了功能验证、静态时序分析、形式验证、动态验证以及可测性设计等验证设计工作。该芯片规模达到750万门，内嵌DSP等IP核，采用PBGA609封装技术。“雷达信号处理SoC芯片”于2007年8月份通过信息产业部的硬件测试验证工作，全部性能指标正常。并于2007年12月通过总装专家组的技术鉴定工作，得到了专家的一致好评，鉴定结论：该芯片总体技术指标达到“国际先进水平”。本文中主要介绍的验证关键技术有功能仿真技术、形式

5、验证技术、静态时序分析技术、动态时序分析技术，其主要工作如下：（1）搭建雷达信号处理SoC芯片的智能测试平台，在提高功能验证自动化程度的同时也提高了验证效率；（2）雷达信号处理SoC芯片的形式验证工作，保证了设计流程中前后设计的的一致性；（3）在雷达信号处理SoC芯片设计验证中，采用静态时序分析与动态时序分析技术，提高了时序验证的效率和准确度；（4）为了提高雷达信号处理SoC芯片硬件测试的故障诊断能力和工作效率，在雷达信号处理SoC芯片设计中加入了Mbist等可测性设计工作。关键词:集成电路功能验证形式验证静态时序分析动态时序分析可测性设计

6、IAbstractAbstractAlongwiththedecreasingofthelevelofprocesstechnologyandtheincreasingofthescaleofthedesignproducts,it‟smoredifficultforverificationinICdesign.Howtomakesureoftheaccuracyandconsistenceofadesignworks?Howtoofferusersthemostconvenientwayofvericiation?Itisthebigpr

7、oblemverificationengineersmustsolve,aswellasthecriticalissueaboutthesuccessofachipdesign.IntheprocessofICtechnologydevelopment,methodologyofverificationdesignisthesignificantdirection.ICdesignverificationmethodologytakesalltheverificationtechnologyintoaccount,producingaper

8、fectsolution.WiththeincreasingofcompetitioninICmarket,itraisesalotofadditionalrequestforv