学位论文 > 优秀研究生学位论文题录展示

SOC异步互联技术研究

作　者: 史明华
导　师: 周端
学　校: 西安电子科技大学
专　业: 计算机应用技术
关键词: GALS系统异步电路异步封装模型检测
分类号: TN47
类　型: 硕士论文
年　份: 2007年
下　载: 62次
引　用: 0次
阅　读: 论文下载

内容摘要

本论文研究了GALS(全局异步局部同步)系统的设计方法和实现过程。论文分析了异步电路的握手协议和握手电路的实现方法,研究了异步单元电路的设计技术和相应的综合工具的使用。在分析了GALS网络的拓扑结构之后,设计并实现了一种新的GALS异步封装模块。论文在研究了异步电路工作原理与相应握手协议、GALS系统的相关概念、GALS模型和GALS系统握手协议的基础上,具体地给出了一个GALS异步封装电路设计方案,并设计了一种新的GALS异步封装电路,实现了该设计的同步异步转换接口模块和局部可暂停时钟模块;随后,对一个点对点GALS系统和一个自定时环GALS系统进行了软件功能仿真,证明了设计的正确性;其中,点对点GALS系统设计被下载到FPGA上进行了的逻辑验证。论文的另一个工作是对GALS异步封装系统进行形式化验证。论文分析和研究了形式化验证方法,对所设计的新的GALS异步封装电路的verilog源代码进行了修改,最后在验证工具VIS上完成了对本设计的模型检测验证。

全文目录

摘要  3-4
Abstract  4-7
第一章绪论  7-11
  1.1 课题背景研究  7-8
  1.2 课题研究的目的及意义  8-9
  1.3 国内外研究和发展现状  9-10
  1.4 本文主要内容及章节  10-11
第二章异步电路及其设计原理  11-26
  2.1 异步电路的分类  11-12
  2.2 握手协议  12-14
  2.3 握手电路的实现  14-20
  2.4 异步握手的STG模型表示  20-22
  2.5 综合工具简介  22-26
第三章 GALS系统概述  26-33
  3.1 GALS系统的定义  26
  3.2 GALS系统的特点  26-27
  3.3 基本GALS系统模型  27-28
  3.4 GALS网络拓扑结构  28-33
第四章 GALS系统的设计及实现  33-53
  4.1 GALS系统的模块结构  33
  4.2 GALS系统的握手协议  33-35
  4.3 同步异步互换接口  35-40
  4.4 可暂停时钟模块  40-42
  4.5 点对点GALS系统的实例及仿真  42-49
  4.6 自定时环GALS系统的仿真  49-53
第五章 GALS系统的形式化验证  53-65
  5.1 形式化验证概述  53-55
  5.2 模型检测方法  55-59
  5.3 VIS工具简介  59-60
  5.4 点对点GALS系统的形式化验证实例  60-65
第六章全文总结  65-66
致谢  66-67
参考文献  67-69
硕士在读期间的研究成果  69

相似论文

基于BMC的Web服务失配检测方法研究,TP311.52
基于四方的安全电子商务支付协议研究,TP393.08
基于宏单元异步乘法器的研究与设计,TP332.22
安全协议自动化分析系统的设计与实现,TP393.08
Web服务事务协调协议WS-TX的形式化分析与验证,TP393.09
基于UPPAAL的电子商务协议安全性分析,TP393.08
基于模型检测方法的可信软件验证技术研究,TP311.52
低功耗数据触发微处理器功能单元的设计与实现,TP332
面向环境演算系统的模型检测算法的研究,TP274
网络安全协议的模型检测分析及验证系统,TP393.08
基于程序语义的静态恶意代码检测系统的研究与实现,TP393.08
基于宏单元异步加法器的研究与设计,TP332.2
可重配置硬件系统调度算法的模拟与分析,TN791
时间感知Web服务交互适配技术研究,TP393.09
基于XYZ/ADL的Web服务组合验证研究,TP393.09
基于Color Petri Nets的HMIPv6协议形式化验证研究,TN929.5
基于SVO逻辑的多方不可否认协议的形式化分析与研究,TP393.08
基于行为时序逻辑模型检测的研究与应用,TP311.52
基于时态认知逻辑的Web服务模型检测,TP393.09
模型检测在安全协议验证中的研究与应用,TP393.04
安全协议可视化建模和验证方法的分析与设计,TP393.08