一款通信芯片的逻辑综合和等价性验证

《一款通信芯片的逻辑综合和等价性验证》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、摘要随着集成电路规模的增加，电路设计的复杂度越来越高，系统芯片(SoC)成为了微电子技术的发展方向。其中一项关键技术就是基于P核的设计及复用技术。本文研究了集成电路技术的发展与SoC、口复用技术的重要性，以及集成电路验证技术的发展。详细地讨论了基于口核的SoC通信芯片的后端技术。本论文的主要内容包括以下几部分：制定了系统芯片的逻辑综合策略和设计约束，包括面积约束和时序约束；在逻辑综合过程中插入扫描链从而完成可测性设计；为了保证超大规模数字电路中的关键问题——检查设计的正确性，设计中引入了形式验证，根据形式验证原理，使用等价性验证方法确保后端设计过程的正确性；

2、根据静态时序分析技术的原理，且对各种模式下的时序分析方案的成功模拟，从而实现了芯片的成功流片。本设计逻辑综合使用Magma公司的TalusDesi乒工具，等价性验证采用了Onespill公司的OnespiIlEC工具，最后使用Desi萨Compiler公司的Prime1hle工具完成了整个芯片的静态时序分析。最终该芯片完成了各项设计指标，在2008年11月顺利流片。关键词：逻辑综合扫描链插入等价性验证静态时序分析ABSTRACTAlongwi也thedeVelopmentofIC，it’smore锄dmoredi伍cultt0desi印thecircuit，

3、也us，SoC(SystemonC11ip)haSbeingadevelopmentdireCtionofmicroelectronics．InmegubstallcerelatedaboVe，oneoft11ecoreteC：hn010百esisthedeSi印ofIPcore如dt11ereusetecholo黟Thedevelopm肌tofICaIldⅡleilnportanceofSoCa11d口reusetedbul0109yarebecnresearched．T11eback一饥dtec：Iln0109yuponmeSoCcommullicati

4、on出pw讹口coreisdiscussed．ThemaillthesisiIIVolVes：Thef0肋ul撕onofs仃．ategyiIllo舀csylltllesis吼dthecons枷ntinsyntllesisdesignofsystem出p，includeareaconstraintandt妇iIlgcons仃a血；T0鹤suret11eVahdit)，ofdesi印，whichismekeyissueofIC，fomalV嘶ficationw嬲leadintothedesi乒．AccordiIlgt0thetheoryoff．0malveri6

5、cation，ituseequiValcncechecl(ingto邪suret11eValidityofback一印ddesign；AccordiIlgt0也emeo巧oftimeaIlalysis觚dwinlthesuCcessmlsiIIlulationofs伽ctimeanalysisulldera111【indsofmod鼯，t11echipc趾beputiIlt0tape—outsuccess如lly．D嘶ngtheprocessoflo酉csyntllesis，1’alusDesi萨producedbyMagmawasused，andOnesp

6、iIlECbyonespinw嬲usedforequiValcllcechecl(ingFurmermore，PmeTimebyDesignCompilerw嬲usedforstaticti】mea11alysis．Thepr巧ectwaLsputint0tape．outbyInf．meoninNovemb％2008．Keywords：SynthesisScanChaillInser廿onEquiValenceCheckSTA西安电子科技大学学位论文独创性(或创新性)声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工

7、作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处，本人承担一切的法律责任。1本人签名：l缉日期：三塑趔关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属于西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可

8、以公布论文的全部或部分内容，可以允许采用影印、缩印或