【摘 要】
：
随着工艺的发展,功耗成为大规模集成电路设计领域中一个关键性问题.降低电源电压是减少电路动态功耗的一种十分有效的方法,但为了保证系统性能,必须相应地降低电路器件的阈值电压,而这样又将导致静态功耗呈指数形式增长,进入深亚微米工艺后,漏电功耗已经能和动态功耗相抗衡,因此,漏电功耗快速模拟器和低功耗低漏电技术一样变得十分紧迫.诸如HSPICE的精确模拟器可以准确估计漏电功耗,但仅仅适合于小规模电路.本文首
【机 构】
：
中国科学院计算技术研究所信息网络室(北京) 中国科学院计算技术研究所信息网络室(北京);电子科技大
论文部分内容阅读
随着工艺的发展,功耗成为大规模集成电路设计领域中一个关键性问题.降低电源电压是减少电路动态功耗的一种十分有效的方法,但为了保证系统性能,必须相应地降低电路器件的阈值电压,而这样又将导致静态功耗呈指数形式增长,进入深亚微米工艺后,漏电功耗已经能和动态功耗相抗衡,因此,漏电功耗快速模拟器和低功耗低漏电技术一样变得十分紧迫.诸如HSPICE的精确模拟器可以准确估计漏电功耗,但仅仅适合于小规模电路.本文首先证实了CMOS晶体管和基本逻辑门都存在堆栈效应,然后提出了快速模拟器的漏电模型,最后通过对ISCAS85&89基准电路的实验说明了在精度许可(误差不超过3％)的前提下,本文的模拟器获得了成百倍的加速,对机器内存的需求量也获得很大降低.
其他文献
纺织品的染色牢度是评价其质量的重要指标,也是是否达到"生态纺织品"的主要指标之一.但是活性染料深浓色织物的湿牢度和湿摩擦牢度,浅色织物的日晒牢度,以及分散染料因热迁移现象而造成的色牢度下降成为近几年业界讨论的热点.本文重点从工艺合理化提高染色牢度详细分析讨论,以期获得一定效果.就涤/锦和棉/锦交织物提高染色牢度提出看法.
本文对低芳胺、新型靛蓝的制造进行了研究。文章围绕靛腈制造、靛酸盐制造、低芳胺靛蓝的制造、低芳胺新型靛蓝的制造等进行了论述。
本文对甲(月朁)型活性染料及其构效关系进行了探讨。文章围绕甲(月朁)为母体的活性染料、甲(月朁)活性染料的合成、甲(月朁)活性染料的结构和光谱性能、甲(月朁)活性染料的应用性能等进行了论述。
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它无需产生测试激励,不仅能够缩短设计周期,而且能够达到完全的功能覆盖率.本文介绍了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用,包括RTL设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功
本文介绍了一种可修复的三模冗余容错计算机,在建立该机故障模型的基础上,提出了一种高效的、可检测处理系统故障和表决器故障的表决机制.
本文研究了针对网络的基于三值BGM模型的分布式系统级故障诊断问题,主要对一步可诊断性的相关问题进行了研究,解决了相应的可诊断度问题、特征问题等,并提出了进一步需要解决的问题.
软件测试和软件容错是两种提高软件系统可靠性的主要技术手段.本文根据文献提出的一种基于规范和程序域分析的软件测试方法,开发出90个测试用例,对34个版本的RSDIMU容错软件进行测试.实验表明:软件测试和软件容错技术相结合,可以进一步提高软件系统的可靠性.
BCH纠错编码是线性分组码的一种,有较好的纠错能力,信息隐藏是近年来信息安全领域出现的新技术.本文讨论将BCH纠错编码与信息隐藏技术结合应用,并通过编程进行模拟实验,得到一些有意义的结论.当含有隐藏信息的彩色图象遭受恶意攻击或受到通信干扰时,采用纠错编码可以改善性能.文中对在不同攻击类型情况下所得到的纠错效果进行对照,采用BCH纠错编码后,局部垂直线条引起的影响可完全消除,局部水平线条引起的影响也
本文介绍了一种软件测试技术——代码覆盖分析,讨论了在测试计划中增加覆盖分析时应该考虑的细节,详细介绍了代码覆盖的基本方法和一般方法,并对各种方法进行了分析比较.
本文以状态变换图为基础,分析冗余状态与变换之间的特征,讨论了结构故障和冗余之间的联系,并结合验证算法提出状态冗余的隐含遍历确认方法.