基于动作细化的异步电路自动综合

论文题目: 基于动作细化的异步电路自动综合

论文类型: 博士论文

论文专业: 计算机软件与理论

作者: 孙秀莉

导师: 吴尽昭

关键词: 动作细化,异步电路,综合,事件结构,微处理器,握手扩展,并发约减

文献来源: 中国科学院研究生院（成都计算机应用研究所）

发表年度: 2005

论文摘要: 层次化设计方法是人们广泛接受的硬件电路设计的最主要方法之一。动作细化是系统层次化刻画方法的核心操作,目前已发展成为众所周知的自顶向下的系统设计技术。这种技术以分层的方式来描述系统,也就是说,用较低抽象层次上复杂的进程来解释较高抽象层次上的动作,从而改变其抽象层次,最终达到实现层次。虽然这种理论人们已经研究了多年,但是到目前为止,动作细化技术还没有成功地应用到工业的实际中去。本文最主要的贡献就是把动作细化的理论和技术应用到实际中,与具体的异步电路设计和验证相结合,产生一种新的异步电路自动综合方法。我们将分别给出语法动作细化技术和语义动作细化技术在异步电路设计与验证中的成功应用。最近几年,由于异步电路具有能够消除时钟歪斜问题,提供模块化设计以及适合处理环境变量的能力,异步电路的设计引起了人们的广泛关注。但是,刻画异步电路是一个繁琐且容易出错的过程。首先,流水管道的形式刻画是异步硬件设计的主要问题。我们给出怎样应用语法动作细画来刻画和描述异步流水线微处理器,其中,处理器的每一个功能单元是逐步得到的。这样就可以使处理器的设计方结构化和模块化。此外,对流水线险态的详细处理被合并到细化处理的刻画中。其次,基于动作细化,在异步电路设计中我们提出一种解决握手扩展和重排组的自动

论文目录:

第一章绪论

1.1 动作细化方法

1.1.1 原子与非原子动作细化

1.1.2 语法和语义动作细化

1.1.3 交织和真并发语义动作细化

1.1.4 严格和不严格的细化形式

1.1.5 动作细化将何去何从?

1.2 相关工作

1.2.1 流水线微处理器

1.2.2 握手扩展

1.2.3 重排组

1.3 本文创新

1.4 本文组织

第二章 LOTOS简介

2.1 基本LOTOS

2.2 数据类型

2.3 LOTOS的操作语义

2.4 基本建模方法

第三章指称语义

3.1 等待事件结构

3.2 可组合的语义

3.3 系统运行描述

3.4 垂直双模拟关系

第四章垂直与参数动作细化

4.1 垂直实现动作细化

4.1.1 定义

4.1.2 垂直实现的证明规则

4.2 参数化动作细化

4.2.1 定义

4.2.2 全局性质

第五章语法动作细化与处理器刻画

5.1 处理器模型

5.2 形式化刻画

5.2.1 取指令过程

5.2.2 执行指令

5.2.3 总体刻画

第六章语义动作细化与握手扩展

6.1 等待事件结构中的通信

6.1.1 通道

6.1.2 扩展握手协议

6.2 扩展握手协议作为一个动作细化

6.3 实例分析

第七章重排组(Reshuffling)

7.1 状态图和并发性

7.1.1 状态图

7.1.2 激发域

7.1.3 事件之间的并发关系

7.2 并发约减

7.3 基本操作：向前约减

7.4 实现

7.4.1 并发约减

7.4.2 代价函数

7.5 实验结果

第八章结论

8.1 总结

8.2 将来的工作

8.2.1 刻画

8.2.2 编译

8.2.3 异步数据通道

8.2.4 与同步设计的接口

8.2.5 具有数量约束的电路细化

参考文献

发表的论文

致谢

发布时间: 2006-09-04

参考文献

[1].异步电路设计方法学研究[D]. 徐阳扬.西安电子科技大学2009
[2].数据包异步电路的关键技术研究[D]. 曾永红.华中科技大学2007
[3].异步片上网络的关键技术研究[D]. 管旭光.西安电子科技大学2011
[4].异步控制电路设计与实现关键技术研究[D]. 阮坚.国防科学技术大学2008
[5].GALS系统互连及设计方法的研究[D]. 周端.西安电子科技大学2010
[6].高速低功耗MPSoC仲裁研究[D]. 吴睿振.西安电子科技大学2014
[7].基于GALS的多核SoC中强鲁棒性通信接口研究[D]. 彭瑶.西安电子科技大学2012

基于动作细化的异步电路自动综合

猜你喜欢