数字减法器电路设计的可信分析

摘要	第1-4页
ABSTRACT	第4-7页
第一章 绪论	第7-10页
·本文的研究背景及意义	第7-8页
·本文的主要工作及框架结构	第8-10页
·本文的主要工作	第8-9页
·本文的框架结构	第9-10页
第二章 数字减法器电路	第10-23页
·数字减法器电路的基本原理	第10-16页
·半减器与全减器	第10-14页
·串行进位减法器	第14-16页
·数字减法器电路的性能指标	第16-18页
·运算速度指标——延时	第16-17页
·能量消耗指标——功耗	第17-18页
·可靠性指标——误差	第18页
·数字减法器电路的模型	第18-22页
·数字减法器电路的输出误差模型	第19-22页
·数字减法器电路的能量消耗模型	第22页
·本章小结	第22-23页
第三章 几何规划与凸规划	第23-29页
·几何规划与凸规划基本理论	第23-28页
·几何规划基本理论	第23-26页
·凸规划基本理论	第26页
·几何规划与凸规划之间的转换关系	第26-28页
·本章小结	第28-29页
第四章 数字减法器电路的形式化可信分析	第29-35页
·基于几何规划与凸规划的减法器可信分析方法	第29-31页
·实例分析	第31-34页
·本章小结	第34-35页
第五章 总结与展望	第35-36页
·本文工作总结	第35页
·未来工作	第35-36页
参考文献	第36-40页
致谢	第40-41页
攻读硕士期间参与的科研项目	第41-42页
攻读硕士期间发表的学术论文	第42页