soc设计验证讲述new

《soc设计验证讲述new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、维普资讯http://www.cqvip.com重计蔹，l：l中国集成电路计验证北京大擘微电子学研完院蒋摘要：奉文论述了SOC正确性验证所使用的模拟、形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块缎、门级和物理级各个层次中的验证方法1、引言通过对时序、物理设计等的验证保证整个片的正确性向底向上的验证方法在目前的很多设计中得随着L艺加工能力的不断提高，SOC设计技术到采用，它首先对设计中独立的模块进行验证，然后成为解决加T与设计能】之间差距的重要方崮设验证系统内部模块之间互连的正确性．在这些工作计正确性验证对保证

2、SOC没计工作波功、缩短卜市的基础上验证设计的基本功能和外部接口的情况．时问、降低开发战本是十分重要的，因此埘验证的速最后往系统级进行全面的验证，另外也要通过甜时度撤率、完善程岌等楗出丁很高的要求随着集成序千"物理设计正确性的验证来保芯片最终实现的电路规模与复杂度的提高手l】汝计技术l_l

3、=】发展．SOC正确性：基于平台的验证是在以前已经完成的殴计的验i【E问题电越来越突出目前在整个SOC的j殳计基础上进行新的政进时．利用已有的平台进行正确过程中．验证的1二作可占到总工作量的40％验证它假定设汁平台和其中的件IP与软件IP1

4、O％。设计规模的增nu陵SOC验证工作的计算量和已经是充分验证过的．对耨加入的IP除_r保汪IP所需要的时Ih】增加很多．而且山于SOC系统中集成本身∞确州外．主要验证这个IP与原来设tl。平台了很多模块．对人式模块进行骁讧E比对弛模块之问的连接关系是否正确。的直接访问要困难得多，无法提供通当的控制和观在SOC的验证中．所使用的技术包括模拟、形察手段，这也进一步增I丁验证的难度另外．SOC式IIE技术、静态验证技术等，另外根据验证的过程芯片t的模块可能有不I司的类型，如数字辑、台和层次SOC的验证可以包括系统级、模块缀、¨级信

5、号手I=1存储器模块等，需要根据这些模块的同特和物理级等一在不同的验证层次和步骤中可以采刷点采用不同的验证‘法所柏这些闳素都使得SOC小同的技术，下面先介绍常用的验证技术，然后再介的验证j：作成为一种新的技术挑战。绍各层次的验证方法SOC验证是一个系统问题．它沙受到对系统巾的硬件软件和它们之间的协同I：作的验证soc2、SOC验证采用的技术的验汪方法有多种．包括翻顶向下(rap—Down1、自底向上(Bottom—Up)和慕于平台的骑证等自顶向下2．1模拟技术的验证是与自顶向下的设i1’流程同步进行的．它足验证所使用的技术中最

6、常见的是模拟。它利用在设计的各个堪趺卜分州进行验证，例扛u在系绞绒模拟工具向梭测试模块施加测试激础信呼．井检查设计时对系统级模型(可采用C、【++或地形式被洲模块的输出信号是番符台预期的曼求模拟方描述)进行验证，在随扁的设计过程。}】随着设计的细法可以同时{}箍验被测模块在功能和时序方fj=i的响应化和深人可必针对设计实现做更细致的验证．最后情况，能够比较全面地体现电路的行为一但是它也有48些兰竺璺E墨圆城迎登陆中国喜点电矗≥毒志吨血咖昏com——维普资讯http://www.cqvip.com设计荻，l：Chinainteg

7、ratedcircuit]局限{吖：，包括：删覆盖率依赖：测试澈蛐的情；硬件实现要筏拟的H标计．利用芒构造用于模拟{设计规模很大或裴模拟呐情、兑根多时幞拟l时Il会的系统．井可j1：甓调汰辕件这儿种打法都可以提很长等高模拟[内速腰彝l设率，但开发贽刚般较商对睡拟电路和潍台信号电路中纳漠拟分，}粥外．还可以通过静态验法和肜验证方于i-t算精度要求较高．墼奉采用的蛏基于sPIcE或法进行设计骑证静态验证IE较常川的方法包括类似工具的模拟对数牛系统的模拟．所采H1的技术语法检查和静惫时序分析等静崽时序分析不需要有多种．包括基于事件的

8、模拟、基于周确的模拟1提供洲试激励．而足通过对扦种叫序蹄径进行计斧予事务处理的模拟等．．趣甚于事件的帧拟厂卜啡j一青它们址打能满足叫f兕系的求求分析设计的时个事件发生(如模块∞输人信号或内部状怠啦‘序j『i确性，静卷时分析井能雠功能∞正确化)模拟⋯I具社埘被洲试的模块进行计算，自刘得性肜式验证方法是通过算法的手段进行椅，常到一个稳定的结果=在基于周l}l】的模拟·l1．所对的的肜式骑技术包括Jf；式等价惶桅等形式薄价电路一般是同步时序逻辑．在辞个H-『钟周蜘结束【卜f性榆盎是比较[哳种设计之间的功能等价性．例如进行一状计算．得

9、出电路的稳态结琏于事什的礁Rl’L没汁与RTL殳计之间R1’L设计j门级设计之拟可r』比较准确地反应电路的实际1：怍情况，徂幽、¨缎设十与门级设汁之问等形式验证力法也不为要处理的事件很多．I垃每个J刮期可能别『·l需要删泼激励向盛．但对时序方索考虑较少．．逻辑进行多次的汁算，