risc众核处器的功能验证与片上调试.pdfVIP

Y2347526 withwherewithwithAbstractMechaniMuIti-coreAbstractMulti．Coremethodmodifiedmulti-coremoremulti-coremeansVerHmlti—corebecomebusbePowerFunctProcessorbecomebasednotnexthashashothardwarehardwarehostProf．LiuSuccessaTRISCRISConeoneononGaohuiverificationverificationverificationverificationverificationverificationvalidationverificationRISCnformatCanOn—chonaonononandarchitecture．Theandandandalsoaddressattentionauthentication”withandachievearealsoarticleandSOftware．ofofofofofofofofoften0nofoverallofofofandcurrenttototofaultfunctionalfactorsfinalforfbundationfunctionalforwardforfocusesfunctionandSiadvancementandandandandandandscancontroldatadrovedco．verificationcontrolofffunctionaltthethetrendthethethethethethethethethethatthetheevaluationthethethetheIIIcatcatcommonsmefficientthatthisenvironmentthethethethethethethethetheinsearchsoftwaresoftwaresurveillancesufficientsolutionICIClocatelaterininevitableinisisinisinternalininideainstructionintroducedinlliiiiincreasesIiiiii Vand822．12．2．422．2．52．32．3．12．5．335533．3．11．1．1 AccessARMVIGodson．T44．14．1．24．1．34．2．14．2．24．2．34．34．3．14．3．24．3．31 Theverificationand 0VersusRuleRule2 绪论 通过把设计得到的版图和逻辑网表进行比较来检查各器件大小和连接关系是否完全一 IntegrityAnalysis)指信号完整性分析，用来检查输入输出和所有的中 致；SIA(Signal 间连线是否出现接空及优先级是否满足预期目标。图1．2给出了利用Calibre软件对一个 加法器进行的LVS检测的报告。从图中可以看出这个模块版图和电路图的电源和接地引 脚并没有保持一致，结果为Incorrect，即该设计并没有通过LVS可靠性检查。 图1．2加法器的LVS检测报告 TheLVS ofanadder Fig．1．2 report 1．1．1 EDA工具的软件验证 在芯片开发初期，借助EDA仿真软件工具对实际电路和相关工作环境进行模拟验证 是一种行而有效地验证方法。通过手动搭建验证平台可以对待测设计自由设计输入和输 出。验证平台部分由激励输入和输出响应两个子集组成，前者就是对待测的设计提供输入 向量，后者即是对测试目标的输出相应进行分析。目前，从EDA软件市场情况分析来看， Cadence、Mentor 处于主导地位…。 从验证方法学角度来看，EDA工具的软件验证又可以分为系统自行检测法和辅助参 考模型检测法两种【231。系统自行检测法是一种相对简单的验证测试方法，常用于对功能 The4Reference—modelself-test 6level mainbetweenTab．2-1TheRISCRISCCPUCISCCPU9andofSetSetfeatures2．1Instruction2Instruction multi—coreGodson-TSchema