文档介绍：学位论文作者签名:处导师签名:陆话学位论文版权使用授权书签字日期:乃蝴学位论文作者签名:固毫┳秩掌冢候寿八范签字日期必2过的研究成果,、使用学位论文的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘,,可以采用影印、缩印或扫描等复制手段保存、:工作单位:电话:通讯地址:邮编:
`擎摘要的逻辑综合和等价性验证,解决了相关的问题。采用瞚驴和而生,采用低功耗设计的芯片越来越多。,祍公司推出的基于统一功耗格随着集成电路的发展,芯片的功耗要求越来越高,低功耗的设计方法应运式邢的低功耗设计流程为业界广泛使用。它将用疵枋錾杓频墓意图这个统一的文件,应用在经典设计流程的各个步骤,在设计实现的各个步骤指导低功耗意图的实现。逻辑综合是将寄存器传输级杓谱;C偶锻淼墓蹋切酒设计实现流程中重要的一步。设计的时序、功耗、面积等因素在逻辑综合时得以优化。逻辑综合是一个复杂的过程,需要给设计施加合理的约束,以产生良好的综合结果。在综合完成以后,还要检查时序及各项约束条件是否满足。等价性验证通过对比在设计流程各个阶段的不同形式的设计描述之间的等价性,来验证设计流程中功能的等价性。如代码经过综合,需要验证乙代码和综合后网表的功能等价性。本文以一款应用于无线手持设备的低功耗设计芯片的设计实现为研究对象,探索低功耗设计的实现流程,完成了基于鞒痰穆呒酆虾等价性验证,静态时序分析等工作。在设计实现的过程中探索了低功耗设计下瓿苫赨的逻辑综合和等价性验证。通过最终的流片和测试结果来看,很好地实现了设计的低功耗意图,也验证了该低功耗设计流程的有效性。关键词:逻辑综合;低功耗;簧杓圃际坏燃坌匝橹
發觟州凹谈豬帧辬砌:,出∞他他锄妇聇溅鎏鹭鼬琯奥阣緄既鐁Ⅱ‰蚣》痶锄虿芼縠辴州鷏眦弧轪籧伪’馭籙;鷌印璐妇;砌锄∞猗鵱璐伪曲賗如衅龀衄籉騦砌肌Ⅱ瑚啊襬,,锄任鵺娲蘥;:∞舒甅譫靌髓薸铋印’鉍Ⅱ.纏%鶦譱囱衜琻肯譴綾篸隨锄辭琹玛毽也鷇西鹤,哪琧盟載:西魁璐蓅髓帆拭鎛颒阳甒璐协縤み祃詉,孤哆誧、他阳靌鼯他篽鮏Ⅱ,騦鹢Ⅱ韎甀痵∞舠,雃砸的瞚甀】【髂鮡猳,基于凸纳杓葡碌穆呒酆嫌氲燃坌匝橹
目录鎙摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第一章引言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..课题研究背景⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯外低功耗设计的研究与应用意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.论文的内容与结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第二章氲凸纳杓屏鞒獭功耗的基本理论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.逻辑综合⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⒚婊肮牡脑际柚谩第四章低功耗下的逻辑综合⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯逻辑综合的一般流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯等价性验证的原理⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.的使用流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.喙馗拍睢验证流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...橹ぶ械奈侍狻目录⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.:⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..:约束⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯怼.
第六章总结与展望⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..匦弧攻读学位期间发表的学术论文⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯附勇乏⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。基于凸纳杓葡碌穆呒酆嫌氲燃坌匝橹
的发展。创始人之一的摩尔在年提出了著名的摩尔定律