论文部分内容阅读
随着工艺水平的缩小和设计规模的增大,集成电路设计中的验证工作难度也在不断增加。如何能保证设计的正确性和一致性,如何才能为用户提供最方便的验证手段,这是验证工程师所面临的一个严峻问题,也是现代芯片设计成功的关键所在。在集成电路验证技术的发展历程中,验证设计方法学成为一个很重要的指导法则。集成电路验证设计方法学把各种验证技术糅合在全流程设计中,为集成电路设计提供了一个完全的验证解决方案。随着集成电路设计竞争的日趋白热化,同时也对验证工作提出了很多新的要求,设计验证的自动化程度和验证工作的效率高低成为衡量验证工作的重要指标。本文在简单阐述整个数字SoC设计流程的基础上,对当今主流的验证关键技术进行了详细的研究和理论分析,并结合具体的工程项目“雷达信号处理SoC芯片”的设计,完成了功能验证、静态时序分析、形式验证、动态验证以及可测性设计等验证设计工作。该芯片规模达到750万门,内嵌DSP等IP核,采用PBGA609封装技术。“雷达信号处理SoC芯片”于2007年8月份通过信息产业部的硬件测试验证工作,全部性能指标正常。并于2007年12月通过总装专家组的技术鉴定工作,得到了专家的一致好评,鉴定结论:该芯片总体技术指标达到“国际先进水平”。本文中主要介绍的验证关键技术有功能仿真技术、形式验证技术、静态时序分析技术、动态时序分析技术,其主要工作如下:(1)搭建雷达信号处理SoC芯片的智能测试平台,在提高功能验证自动化程度的同时也提高了验证效率;(2)雷达信号处理SoC芯片的形式验证工作,保证了设计流程中前后设计的的一致性;(3)在雷达信号处理SoC芯片设计验证中,采用静态时序分析与动态时序分析技术,提高了时序验证的效率和准确度;(4)为了提高雷达信号处理SoC芯片硬件测试的故障诊断能力和工作效率,在雷达信号处理SoC芯片设计中加入了Mbist等可测性设计工作。