可执行ASIP设计规约

第1章引言(1)

1.1嵌入式系统与片上系统(1)

1.1.1嵌入式系统(1)

1.1.2IP核设计与复用(3)

1.1.3软硬件协同设计(4)

1.2专用指令集处理器(6)

1.2.1ASIP特性(6)

1.2.2研究状况(7)

1.3设计方法学(9)

1.3.1体系结构描述语言(9)

1.3.2描述综合设计方法学(11)

1.3.3可执行设计规约(12)

第2章系统开发(14)

2.1基本概念(14)

2.1.1分析(14)

2.1.2设计(17)

2.1.3生命周期(20)

2.1.4测试(21)

2.2系统分析(22)

2.2.1需求分析(22)

2.2.2结构对象分析(23)

2.2.3行为对象分析(25)

2.3系统设计(27)

2.3.1架构设计(27)

2.3.2机制设计(28)

2.3.3详细设计(29)

第3章设计方法学(31)

3.1设计方法学概述(31)

3.1.1惯例设计方法学(31)

3.1.2系统级设计方法学(33)

3.1.3MDA设计方法学(35)

3.2系统描述(36)

3.2.1设计表示(36)

3.2.2UML视图(37)

3.2.3Ychart模型(38)

3.2.4抽象级别(40)

3.3设计综合(41)

3.3.1“描述综合”方法学(41)

3.3.2系统综合(42)

3.3.3ASIP综合(44)

3.3.4逻辑与时序综合(45)

第4章模型与体系结构(48)

4.1典型模型(48)

4.1.1模型类型(48)

4.1.2面向状态的模型(49)

4.1.3面向活动的模型(51)

4.1.4面向结构的模型(52)

4.1.5面向数据的模型(53)

4.1.6异构模型(54)

4.2体系结构(57)

4.2.1体系结构分类(57)

4.2.2通用处理器(57)

4.2.3并行处理器(60)

4.2.4专用体系结构(61)

4.3微结构(62)

4.3.1概念(62)

4.3.2实例(64)

第5章体系结构描述语言(67)

5.1UML建模语言(67)

5.1.1UML基础(67)

5.1.2嵌入式领域UML描述(69)

5.2Spec描述语言(71)

5.2.1SpecCharts语言(71)

5.2.2SpecC语言(74)

5.3LISA指令描述语言(76)

5.3.1LISA(76)

5.3.2LPDP(78)

5.4HDL硬件描述语言(82)

5.4.1VHDL(82)

5.4.2Verilog(83)

5.4.3UML至HDL的映射(85)

第6章ASIP系统规约(88)

6.1开发模式(88)

6.1.1模型规约(88)

6.1.2可执行模型(89)

6.1.3开发流程(91)

6.2建模模式(92)

6.2.1对象模型(92)

6.2.2行为模式(93)

6.2.3调试与测试(96)

6.3框架设计(97)

6.3.1概述(97)

6.3.2实时框架(100)

6.3.3可执行框架(102)

6.3.4设计原理与度量(104)

第7章ASIP ADL描述(108)

7.1ASIP模型(108)

7.1.1LISA ADL描述(108)

7.1.2Expression ADL描述(111)

7.1.3模型抽象(116)

7.2TTA(117)

7.2.1OTA与TTA(117)

7.2.2指令集行为(118)

7.2.3ADF规约(119)

7.3流水线微结构(123)

7.3.1流水线状态机(123)

7.3.2Petri网模型(124)

7.3.3PNML描述(126)

第8章ASIP综合实现(129)

8.1ADL综合(129)

8.1.1综合驱动探索(129)

8.1.2ISA综合(131)

8.1.3结构综合(134)

8.2软件框架(138)

8.2.1MVC架构(138)

8.2.2ThinkPHP框架(140)

8.2.3应用软件编程(142)

8.3集成环境(145)

8.3.1环境形态(145)

8.3.2时空设计模式(147)

8.3.3IDE组成(148)

第9章结束语(150)

9.1结果(150)

9.2结论(153)

9.3前瞻(157)

参考文献(158)

朱勇，华中科技大学计算机系统结构专业博士，博导。武汉纺织大学计算机科学学院院长，教授。湖北省有突出贡献的中青年专家，教育部高等学校教学指导委员会委员会专家工作组成员，湖北省高校计算机教育专业委员会常务理事，湖北省微机学会副主任委员，中国计算机学会高级会员，中国电子学会高级会员。