基于UPF低功耗设计下的逻辑综合与等价性验证
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 引言 | 第7-10页 |
| ·课题研究背景 | 第7-8页 |
| ·外低功耗设计的研究与应用意义 | 第8-9页 |
| ·论文的内容与结构 | 第9-10页 |
| 第二章 UPF与低功耗设计流程 | 第10-19页 |
| ·功耗的基本理论 | 第10-12页 |
| ·静态功耗 | 第10-11页 |
| ·动态功耗 | 第11页 |
| ·低功耗设计方法 | 第11-12页 |
| ·基于UPF的低功耗设计 | 第12-19页 |
| ·UPF的应用 | 第13-16页 |
| ·设计流程 | 第16-19页 |
| 第三章 逻辑综合与约束 | 第19-36页 |
| ·逻辑综合 | 第19-21页 |
| ·逻辑综合的原理 | 第19-20页 |
| ·逻辑综合的工具 | 第20-21页 |
| ·约束 | 第21-27页 |
| ·设计约束 | 第21-26页 |
| ·环境约束 | 第26-27页 |
| ·系统芯片的约束设置 | 第27-36页 |
| ·时钟的设置 | 第27-30页 |
| ·端口约束的设置 | 第30-33页 |
| ·时序例外的设置 | 第33-34页 |
| ·设计规则、面积及功耗的约束设置 | 第34-36页 |
| 第四章 低功耗下的逻辑综合 | 第36-43页 |
| ·逻辑综合的一般流程 | 第36-38页 |
| ·基于UPF的逻辑综合 | 第38-43页 |
| ·综合的流程 | 第39-41页 |
| ·综合中的相关问题及解决 | 第41-43页 |
| 第五章 低功耗下的等价性验证 | 第43-54页 |
| ·等价性验证的原理 | 第44-45页 |
| ·Formality的使用流程 | 第45-51页 |
| ·相关概念 | 第45-47页 |
| ·Formality验证流程 | 第47-51页 |
| ·基于UPF的等价性验证 | 第51-54页 |
| ·基于UPF的等价性验证方法 | 第51-52页 |
| ·验证中的问题 | 第52-54页 |
| 第六章 总结与展望 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 附录 | 第58-66页 |
| 致谢 | 第66-67页 |
| 攻读学位期间发表的学术论文 | 第67页 |
