检索结果-南通市图书馆

作者：周全国防科学技术大学

学位级别：硕士

静态随机访问存储器（SRAM）作为最重要的半导体存储器，广泛地嵌入于高性能微处理器。随着集成电路制造工艺的不断提升，存储器占据芯片的功耗比例越来越大，高速低功耗的SRAM设计变得越来越重要。本文结合全定制设计、基于标准单元... 详细信息

静态随机访问存储器（SRAM）作为最重要的半导体存储器，广泛地嵌入于高性能微处理器。随着集成电路制造工艺的不断提升，存储器占据芯片的功耗比例越来越大，高速低功耗的SRAM设计变得越来越重要。本文结合全定制设计、基于标准单元设计而通过人工布局布线实现的半定制设计流程，对高速低功耗SRAM的设计、实现与验证技术进行了研究，具体包括：（1）65nm工艺下高速SRAM的设计与实现 SRAM基于带异步复位端的13管1W/1R存储单元，具有较高的读操作稳定性和较低的漏电流，但它的写入延时和版图面积大。为了弥补这些缺陷，针对双位线的写入结构，本文提出了位线共享的低功耗位线策略。读译码和数据读出通路以牺牲面积和功耗获得了更快的读出速度，这使得实现的SRAM与MemoryCompiler生成的相同容量的SRAM相比，输出延时减小了41.62%。在实现方式上，SRAM的外围电路采用标准单元设计而通过人工布局布线实现，缩短了设计周期。本文运用脚本语言开发了具有高仿真精度的电路和版图的自动化验证流程。（2）40nm工艺下高速低功耗SRAM的设计与实现 SRAM基于10管1W/2R存储单元，采用了两级动态译码、层次的动态预充的读出结构、LSDL电路、脉冲和门控时钟等高速低功耗设计技术。本文对动态初级译码的可靠性、动态译码电路和动态预充的读出结构存在的漏电流进行了分析与优化，保证了SRAM可以在较低的频率（20MHz）下正常工作。实现结果表明，与Memory Compiler生成的同规格SRAM相比，全定制设计的SRAM，面积减小了7.67%，延时减少了35.33%，功耗降低了39.66%。本文设计的存储体，达到了两款DSP芯片对嵌入式SRAM的性能要求，并为进一步研究双端口8管或者带有异步复位端的高速低功耗SRAM奠定了基础。

关键词： SRAM 高速低功耗共享位线层次位线动态电路自动化验证

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

“龙腾R2”微处理器模块级验证

引用

计算机测量与控制 2009年第6期17卷 1157-1159,1162页

作者：靖朋高德远黄小平西北工业大学航空微电子中心陕西西安710072

针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧... 详细信息

针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高。

关键词：微处理器自动化验证功能覆盖率

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于uvm验证方法学的盲均衡器验证

引用

无线互联科技 2016年第4期13卷 82-84页

作者：牛文升王瑞刚张磊马晓娜西安邮电大学陕西西安710061

文章采用通用验证方法学(UVM)搭建验证平台,以高速光纤传输系统中的数字信号处理芯片的盲均衡器作为验证对象,重点分析了UVM验证平台的搭建思想,产生随机化的测试向量,对盲均衡器进行全面验证,从而达到覆盖率的要求,通过寄存器模型和自... 详细信息

文章采用通用验证方法学(UVM)搭建验证平台,以高速光纤传输系统中的数字信号处理芯片的盲均衡器作为验证对象,重点分析了UVM验证平台的搭建思想,产生随机化的测试向量,对盲均衡器进行全面验证,从而达到覆盖率的要求,通过寄存器模型和自动化脚本的使用,提高验证效率和平台的可重用性。验证结果表明,通过这种面向对象的层次性建模方法,可以大幅缩短平台的维护和开发时间,采用该验证方法的功能覆盖率为100%,代码覆盖率为98%,翻转覆盖率为97%。

关键词： UVM 盲均衡器寄存器模型覆盖率自动化验证

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

改进的OAuth2.0协议及其安全性分析

引用

计算机系统应用 2014年第3期23卷 25-30,39页

作者：陈伟杨伊彤牛乐园中南民族大学计算机科学学院武汉430074

随着OAuth2.0协议的广泛应用,其安全性受到了人们的重点关注.为了增强OAuth2.0协议的安全性,本文首先引入数字签名技术,提出一个改进的OAuth2.0协议.它支持授权服务器对资源拥有者和客户端的身份认证.并且在计算模型下基于Blanchet演算... 详细信息

随着OAuth2.0协议的广泛应用,其安全性受到了人们的重点关注.为了增强OAuth2.0协议的安全性,本文首先引入数字签名技术,提出一个改进的OAuth2.0协议.它支持授权服务器对资源拥有者和客户端的身份认证.并且在计算模型下基于Blanchet演算,应用一致性对授权服务器认证资源拥有者和客户端进行建模,最后使用自动化工具CryptoVerif分析和证明了其认证性.

关键词：认证性计算模型自动化验证安全协议

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于PVS的自稳定算法形式化分析

基于PVS的自稳定算法形式化分析

引用

作者：毛玲炤上海交通大学

学位级别：硕士

随着计算机和网络的发展,分布式系统的应用也越来越广泛,同时对系统容错性和健壮性的要求也越来越高。分布式系统的容错性和健壮性也称为自稳定性。1974年Dijkstra首次把自稳定性的概念引入了计算机科学中[1],即系统从任何初始状态出发... 详细信息

随着计算机和网络的发展,分布式系统的应用也越来越广泛,同时对系统容错性和健壮性的要求也越来越高。分布式系统的容错性和健壮性也称为自稳定性。1974年Dijkstra首次把自稳定性的概念引入了计算机科学中[1],即系统从任何初始状态出发,总能在有限步内到达一个合法状态。自稳定系统是能够保证自稳定性的分布式系统,它的研究是计算机科学与理论中比较前沿的领域之一。自稳定算法是作用在分布式系统上的算法,它能够保证系统的容错性和健壮性。对于不同拓扑结构的分布式系统,要设计不同的自稳定算法来保证系统的自稳定性。性能好的自稳定算法需要经过复杂的正确性验证才能应用到实际中。自稳定算法的验证有多种方法,包括数学分析、定理证明、形式化分析等。形式化方法是基于数学的方法来描述目标软件系统属性的一种技术,它可以用来检测软件的可靠性和正确性。许多计算机科学家都认为,采用形式化方法对系统进行形式化验证和分析是构造可靠安全软件的一个重要途径,而原型验证系统PVS就是著名的模型检测和自动化验证工具之一。 PVS为开发形式化规范和分析验证提供了一个集成化环境,它既有强有力的机器推理支持,规约语言,又有足够丰富的表达手段,为算法的形式化验证提供了很好的验证工具和证明系统。本文主要使用PVS自动验证工具对自稳定算法进行形式化分析和验证,主要的研究成果和创新如下: 1.在形式化分析和验证方面,本文使用PVS自动化验证工具对自稳定算法进行形式化建模和分析验证,完善地证明了自稳定系统的基本性质并提出了一个比较系统的形式化验证方法。 2.在算法的设计方面,本文的主要工作是在研究和总结前人工作的基础上,提出了自稳定算法设计的基本方法和原则。 3.本文从实践的角度出发,在试验的基础上对原型验证系统PVS做了非常全面的说明和分析,并指明了PVS存在的缺陷以及需要的改进的地方。 4.深入剖析和比较了形式化分析领域中各种自动化验证工具的优缺点,并提出了比较理想的自动化验证工具的设计思想和实现。 5.在研究了自稳定算法在分布式系统以及通信协议中的应用的基础上,指明了今后可能的研究方向和研究课题。

关键词： PVS 自稳定算法形式化方法自动化验证分布式系统

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：