可执行ASIP设计规约 [朱勇 著] 2013年版

可执行ASIP设计规约
作者：朱勇 著
出版时间：2013年版
内容简介
本书系统地论述了ASIP（专用指令集处理器）设计规约及系统设计方法学。首先，从一般系统层面介绍基本的开发流程，阐述“描述综合”设计方法学的概念，以此作为ASIP设计的基本原则。接下来，第4章给出系统的基本模型及处理器体系结构，作为ASIP建模参考。第5章详细列出各类体系结构描述语言（ADL）的特征，以作为ASIP描述手段。第6章指出ASIP设计规约的内容。在“描述综合”设计方法学原则指导下，采用ADL描述手段，得到指令集和结构的逻辑综合。最终，给出原型机运行仿真结果及集成环境主界面，并总结出ASIP设计的重要原则。本专著可作为研究计算机体系结构、SoC（片上系统）和系统设计方法学相关学者的参考书，也可以供计算机、电子信息和系统科学等专业的研究生研读。
目录
第1章引言
1.1嵌入式系统与片上系统
1.1.1嵌入式系统
1.1.2IP核设计与复用
1.1.3软硬件协同设计
1.2专用指令集处理器
1.2.1ASIP特性
1.2.2研究状况
1.3设计方法学
1.3.1体系结构描述语言
1.3.2描述综合设计方法学
1.3.3可执行设计规约
第2章系统开发
2.1基本概念
2.1.1分析
2.1.2设计
2.1.3生命周期
2.1.4测试
2.2系统分析
2.2.1需求分析
2.2.2结构对象分析
2.2.3行为对象分析
2.3系统设计
2.3.1架构设计
2.3.2机制设计
2.3.3详细设计
第3章设计方法学
3.1设计方法学概述
3.1.1惯例设计方法学
3.1.2系统级设计方法学
3.1.3MDA设计方法学
3.2系统描述
3.2.1设计表示
3.2.2UML视图
3.2.3Y—chart模型
3.2.4抽象级别
3.3设计综合
3.3.1“描述综合”方法学
3.3.2系统综合
3.3.3ASIP综合
3.3.4逻辑与时序综合
第4章模型与体系结构
4.1典型模型
4.1.1模型类型
4.1.2面向状态的模型
4.1.3面向活动的模型
4.1.4面向结构的模型
4.1.5面向数据的模型
4.1.6异构模型
4.2体系结构
4.2.1体系结构分类
4.2.2通用处理器
4.2.3并行处理器
4.2.4专用体系结构
4.3微结构
4.3.1概念
4.3.2实例
第5章体系结构描述语言
5.1UML建模语言
5.1.1UML基础
5.1.2嵌入式领域UML描述
5.2Spec描述语言
5.2.1SpecCharts语言
5.2.2SpecC语言
5.3LISA指令描述语言
5.3.1LISA
5.3.2LPDP
5.4HDL硬件描述语言
5.4.1VHDL
5.4.2Verilog
5.4.3UML至HDL的映射
第6章ASIP系统规约
6.1开发模式
6.1.1模型规约
6.1.2可执行模型
6.1.3开发流程
6.2建模模式
6.2.1对象模型
6.2.2行为模式
6.2.3调试与测试
6.3框架设计
6.3.1概述
6.3.2实时框架
6.3.3可执行框架
6.3.4设计原理与度量
第7章ASIP ADL描述
7.1ASIP模型
7.1.1LISA ADL描述
7.1.2Expression ADL描述
7.1.3模型抽象
7.2TTA
7.2.1OTA与TTA
7.2.2指令集行为
7.2.3ADF规约
7.3流水线微结构
7.3.1流水线状态机
7.3.2Petri网模型
7.3.3PNML描述
第8章ASIP综合实现
8.1ADL综合
8.1.1综合驱动探索
8.1.2ISA综合
8.1.3结构综合
8.2软件框架
8.2.1MVC架构
8.2.2ThinkPHP框架
8.2.3应用软件编程
8.3集成环境
8.3.1环境形态
8.3.2时空设计模式
8.3.3IDE组成
第9章结束语
9.1结果
9.2结论
9.3前瞻
参考文献