基于冒险分析的低功耗设计和基于测试的设计验证



基于冒险分析的低功耗设计和基于测试的设计验证

分类1：教育论文网→工业技术论文→无线电电子学、电信技术论文→微电子学、集成电路（IC）论文→一般性问题论文→测试和检验论文
分类2：教育论文网→工业技术论文→无线电电子学、电信技术论文→微电子学、集成电路（IC）论文→一般性问题论文→设计论文

基于冒险分析的低功耗设计和基于测试的设计验证

论文目录
声明	第1 页
关于论文使用授权的说明	第3-4 页
摘要	第4-5 页
Abstract	第5-10 页
第一章引言	第10-14 页
· 集成电路低功耗设计	第10-11 页
· 集成电路中冒险的检测和消除	第11-12 页
· 集成电路的设计验证	第12 页
· 本文的内容和章节安排	第12-13 页
· 小结	第13-14 页
第二章冒险检测和消除的基础	第14-20 页
· 电路中的跳变和冒险	第14-15 页
· CMOS 电路由于冒险造成的功耗	第15-16 页
· 信号延迟和门延迟模型	第16-18 页
· 时钟采样消除电路中冒险的影响	第16-17 页
· 信号延迟和门延迟模型	第17-18 页
· 基本术语	第18-19 页
· 小结	第19-20 页
第三章原始输入单跳变导致的冒险的检测和消除	第20-36 页
· 标记电路元素	第20-23 页
· 标记电路元素的方法	第20-21 页
· 一个标记电路的例子	第21-23 页
· 检测单原始输入跳变导致的冒险	第23-24 页
· 检测单原始输入跳变导致的冒险的原理	第23-24 页
· 检测原始输入单跳变导致的冒险的方法	第24 页
· 消除或减少单原始输入跳变导致的冒险	第24-25 页
· 消除或减少单原始输入跳变导致的冒险的原理	第24 页
· 消除或减少单原始输入跳变导致的冒险的方法	第24-25 页
· 消除或减少单原始输入跳变导致的冒险的具体步骤	第25-27 页
· 在有尖峰脉冲的电路元素的标记中加入增量	第25 页
· 依倒序逐一在其它电路元素的标记中加入增量	第25-26 页
· 检测并标记“固定”元素	第26 页
· 计算每一元素标记中Mul 之和	第26 页
· 在TotalMul 最大的元素上增加延迟时间	第26-27 页
· 消除或减少单原始输入跳变导致的冒险的例子	第27-29 页
· 检测和消除单原始输入跳变导致的冒险的的实现	第29-32 页
· 算法框架	第29-31 页
· 检测和减少单原始输入跳变导致的冒险的实现	第31-32 页
· 实验结果及分析	第32-34 页
· 小结	第34-36 页
第四章原始输入多跳变导致的冒险的检测和消除	第36-46 页
· 多个原始输入跳变导致的冒险的原理	第36 页
· 通路长度矩阵	第36-37 页
· 原始输入多跳变导致的冒险的检测方法	第37-40 页
· 原始输入多跳变导致的冒险的检测方法	第37-38 页
· 一个检测多个原始输入跳变导致冒险的例子	第38-40 页
· 实验结果和分析	第40 页
· 通过增加门延迟过滤掉冒险的方法	第40-41 页
· 在产生冒险的门处直接增加门延迟过滤掉冒险的方法	第40 页
· 实验结果和分析	第40-41 页
· 通过逐级调整电路来减少电路冒险的方法	第41-43 页
· 通过逐级调整电路来减少电路冒险的方法	第41-42 页
· 实验结果和分析	第42-43 页
· 小结	第43-46 页
第五章集成电路设计验证的基础	第46-54 页
· 逻辑设计验证的方法概述	第46-47 页
· 设计错误及其检测	第47-52 页
· 门替换错误和固定型故障测试	第47 页
· 多余反相器错误	第47-48 页
· 多余的连线	第48-49 页
· 多余门错误	第49 页
· 漏掉一个门	第49 页
· 漏掉一个反相器	第49-50 页
· 漏掉一个门的输入端	第50 页
· 连线错误	第50-51 页
· 较复杂的多余门错误	第51 页
· 较复杂的漏掉一个门的错误	第51-52 页
· 关于假设条件的几点讨论	第52-53 页
· 关于设计中错误的类型	第52 页
· 设计过程中只有一个错误	第52-53 页
· 含有异或门和异或非门的电路	第53 页
· 关于完全测试集	第53 页
· 本章小结	第53-54 页
第六章基于测试的设计验证实践	第54-64 页
· 测试产生	第54-56 页
· 故障模型	第54-55 页
· 测试产生	第55 页
· 故障覆盖率	第55-56 页
· 测试产生工具	第56-57 页
· 测试产生工具SynTest	第56-57 页
· 测试产生工具HITEC	第57 页
· 设计验证的激励生成方法	第57-60 页
· 电路综合	第58-59 页
· 电路格式转换	第59 页
· 测试产生	第59-60 页
· 测试产生结果	第60-62 页
· 芯片设计的冗余度检查	第62-63 页
· 通用寄存器模块的冗余度分析	第62-63 页
· ALU 模块的冗余度分析	第63 页
· 小结	第63-64 页
第七章总结	第64-66 页
参考文献	第66-70 页
致谢	第70-72 页
作者简历	第72页

本篇论文共72页，点击这进入下载页面。

更多论文
基于冒险分析的低功耗设计和基于测
人脸图像识别算法研究
一个全自动的基于MPEG-4的三维人脸
基于感兴趣区域的图像检索方法
图像检索中的相关反馈技术与视频分
基于主题的Web信息采集技术研究
分布式文件系统吞吐率优化研究
流媒体应用及其QoS控制机制的研究
三维人体管道模型重构技术的研究与
一种定点运算部件的设计与实现
开放源码编译器ORC系统中若干优化技
数字图书馆中基于统计的自动文本分
文本挖掘及其在文本检索中的应用
面向网格的资源监控系统
一种适用于MIPS指令系统的分支预测
适于频繁上下文切换的TG-share分支
宽带IP城域网测试与网络混合流的特
生物信息学中序列拼接程序的并行化
XQuery语言的查询实现
多主体系统中的协商研究及其在电子
虚拟专用网研究与系统实现
基于profiling的编译技术
信息网格访问控制的研究
蓝牙技术的原理与实现
基于服务的机群作业管理系统设计与
信息网络性能模拟工具的研究与实现
IPv4/IPv6过渡阶段下的安全体系设计
基于图象的树类物体的三维重建
分像素运动补偿优化技术研究
网格计算中信任模型及其应用研究
互联网资源标识和寻址技术研究
基于统计语言建模的信息检索及相关
空间数据库引擎关键技术研究
语义Web服务自动组合的Petri网方法
模拟验证中的激励产生与覆盖评估
分布式环境中的资源发现研究
双向运动型视觉导引AGV关键技术研究
高性能文本分类算法研究
空间关系的研究和实现
基于语义Web技术的知识融合和同步方
网格环境下安全群组通信框架及关键
光纤结构健康监测系统及其传感器网
代理服务器上的高效流媒体缓存技术
多媒体数字签名技术研究
方向调制在物理层安全通信和通信测
蛋白质鉴定中串联质谱数据预处理的
面向服务环境中服务的个性化推荐
一种基于平台的SoPC软硬件协同设计
软件测试与可靠性评估
基于机器学习的编译优化适应性研究
面向NAT用户的IPv6隧道技术研究
集成电路功耗估计及低功耗设计
信息网络拓扑结构与内容相关性研究
多模数字视频解码SOC芯片设计及研究
高性能通用处理器核的低功耗技术研
流媒体编码和传输中若干关键技术的
面向关系型数据共享的数据网格中间
支持业务级、大粒度服务组合的知识
雷达目标高分辨距离像仿真与识别技
可信平台模块安全性分析与应用
P2P组通讯的网络拓扑研究
大规模机群文件系统的关键技术研究
基于市场机制的知识流网络研究
促排卵药物对小鼠胚胎发育的影响及
多核多线程处理器上任务调度技术研
交替活跃模式的部分连接网络路由研
支持AAA的移动IPv6网络切换性能研究
短语结构制导的范畴表达式演算
基于形状的三维模型检索若干关键技
语义Web中知识服务的研究
视觉感知的稀疏编码理论及其应用研
相容粒度空间模型及其应用研究
互联网流媒体传输关键技术研究
基于身份密码学的MIPv6安全切换研究
空间数据通信与组网技术研究
分布式环境下资源访问控制关键问题
对等网络内容搜索及索引缓存研究
本体修正
基于蛋白网络聚类的基因功能研究
P2P匿名通信协议WonGoo研究
无线视频传输关键技术研究
复杂度可分级的视频编码技术研究
基于输入排队的可扩展交换结构调度
高可靠处理器体系结构研究
无线自组网MAC及路由技术研究
面向人物追踪的知识挖掘研究
网络流量的半马尔柯夫模型
科学数据网格中数据挖掘技术研究
服务资源不确定性问题及其引发的异
基于信息流的个性化服务研究
科学数据网格分布式查询框架及其关
基于语义的数据对象访问和存储管理
基于扩展颜色Petri网的Web服务组合
网格工作流中服务选择策略的研究
中医“望目辨证”的数字化技术研究
支持最终用户编程的服务虚拟化方法

低功耗论文时延冒险设计验证论文测试产生论文
版权申明：目录由用户邹萍**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved