SOC异步互联技术研究

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