嵌入式系統(tǒng)的描述與設(shè)計(jì)

定　價(jià)：￥33.00

作　者：	（美）Daniel D.Gajski[等]著；邊計(jì)年，吳為民等譯；邊計(jì)年譯
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	計(jì)算機(jī)科學(xué)叢書
標(biāo)　簽：	嵌入式計(jì)算機(jī)

購買這本書可以去

ISBN：	9787111164227	出版時(shí)間：	2005-07-01	包裝：	平裝
開本：	26cm	頁數(shù)：	253	字?jǐn)?shù)：

內(nèi)容簡介

　　本書介紹嵌入式系統(tǒng)領(lǐng)域的基本概念以及實(shí)際的描述和設(shè)計(jì)方法，包括嵌入式系統(tǒng)設(shè)計(jì)的模型和體系結(jié)構(gòu)、描述語言、系統(tǒng)劃分、設(shè)計(jì)質(zhì)量評(píng)估、描述細(xì)化以及系統(tǒng)級(jí)方法學(xué)等方面。講解詳細(xì)，實(shí)例豐富，有針對(duì)性地介紹了若干著名算法或解法，并解釋每種方法的優(yōu)缺點(diǎn)，還包括對(duì)該領(lǐng)域其他工作的綜述，并提出尚未解決的一些問題。本書適合從事嵌入式系統(tǒng)設(shè)計(jì)和研究的工程技術(shù)人員、科研人員、高等院校計(jì)算機(jī)和電子信息工程專業(yè)的本科生和研究生。在過去的十年里，VLSI設(shè)計(jì)技術(shù)，特別是CAD產(chǎn)業(yè)，以異常迅猛的速度發(fā)展。這種快速的進(jìn)展使得產(chǎn)業(yè)界能在更短的時(shí)間內(nèi)設(shè)計(jì)和制造出復(fù)雜的專用集成電路和系統(tǒng)。本書綜述了系統(tǒng)設(shè)計(jì)的基本概念，并提出了軟件和硬件系統(tǒng)設(shè)計(jì)方法學(xué)的原理。可幫助投身于電子系統(tǒng)設(shè)計(jì)的人士跟上時(shí)代的步伐。本書特點(diǎn)●提出系統(tǒng)設(shè)計(jì)中的基本問題，討論各種可用于捕獲系統(tǒng)行為及其實(shí)現(xiàn)的概念●模型研究用來描述系統(tǒng)功能性的語言，以及通過模擬驗(yàn)證系統(tǒng)功能的各種問題為系統(tǒng)劃分、評(píng)估及模型細(xì)化等提供了算法和技術(shù)的綜述●將以上所有的主題結(jié)合起來，使之成為一個(gè)具有一致性的設(shè)計(jì)方法，其中還包括對(duì)系統(tǒng)設(shè)計(jì)的通用環(huán)境的討論

作者簡介

　　DanielD.Gajski教授于賓夕法尼亞大學(xué)費(fèi)城分校獲得博士學(xué)位。他有十幾年的從事數(shù)字電路、交換系統(tǒng)、巨型計(jì)算機(jī)設(shè)計(jì)以及在VLSI結(jié)構(gòu)領(lǐng)域的從業(yè)經(jīng)歷。此后又在伊利諾伊大學(xué)厄巴納-尚佩恩分校計(jì)算機(jī)科學(xué)系從事了10年的學(xué)術(shù)研究。目前他是加州大學(xué)艾爾溫分校信息與計(jì)算機(jī)科學(xué)系、電子與計(jì)算機(jī)工程系的教授。他出版過多部專著。他的研究方向?yàn)榍度胧较到y(tǒng)與信息技術(shù)、設(shè)計(jì)方法學(xué)與e設(shè)計(jì)環(huán)境、系統(tǒng)描述語言及CAD軟件、設(shè)計(jì)科學(xué)。譯者簡介邊計(jì)年清華大學(xué)計(jì)算機(jī)系教授，博士生導(dǎo)師。1970年畢業(yè)于清華大學(xué)自動(dòng)控制系，畢業(yè)后在清華大學(xué)任教至今。他出版過多部專著和譯著。研究方向?yàn)槠舷到y(tǒng)（SOC）的系統(tǒng)設(shè)計(jì)方法，包括系統(tǒng)描述、軟硬件劃分與通信綜合、與布圖結(jié)合的高層次綜合、系統(tǒng)協(xié)同設(shè)計(jì)與驗(yàn)證等。

圖書目錄

出版者的話
專家指導(dǎo)委員會(huì)
譯者序
英文版序言
致謝
第1章引言
1.1設(shè)計(jì)表示
1.2抽象級(jí)別
1.3當(dāng)前的設(shè)計(jì)方法學(xué)
1.4系統(tǒng)級(jí)方法學(xué)
1.5系統(tǒng)描述和設(shè)計(jì)
第2章模型與體系結(jié)構(gòu)
2.1引言
2.2模型分類
2.3面向狀態(tài)的模型
2.3.1有限狀態(tài)機(jī)
2.3.2Petri網(wǎng)
2.3.3層次化并發(fā)有限狀態(tài)機(jī)
2.4面向活動(dòng)的模型
2.4.1數(shù)據(jù)流圖
2.4.2流程圖
2.5面向結(jié)構(gòu)的模型
2.6面向數(shù)據(jù)的模型
2.6.1實(shí)體—關(guān)系圖
2.6.2Jackson圖
2.7異構(gòu)模型
2.7.1控制/數(shù)據(jù)流圖
2.7.2結(jié)構(gòu)圖
2.7.3程序設(shè)計(jì)語言模式
2.7.4面向?qū)ο蟮哪Ｐ?br />2.7.5程序狀態(tài)機(jī)
2.7.6隊(duì)列模型
2.8體系結(jié)構(gòu)分類
2.9專用體系結(jié)構(gòu)
2.9.1控制器體系結(jié)構(gòu)
2.9.2數(shù)據(jù)通路體系結(jié)構(gòu)
2.9.3帶數(shù)據(jù)通路的有限狀態(tài)機(jī)
2.10處理器
2.10.1復(fù)雜指令集計(jì)算機(jī)
2.10.2精簡指令集計(jì)算機(jī)
2.10.3向量機(jī)
2.10.4超長指令字計(jì)算機(jī)
2.11并行處理器
2.12結(jié)論
2.13練習(xí)
第3章系統(tǒng)描述語言
3.1引言
3.2概念模型的特性
3.2.1并發(fā)性
3.2.2狀態(tài)遷移
3.2.3層次化
3.2.4程序結(jié)構(gòu)
3.2.5行為完成
3.2.6通信
3.2.7同步
3.2.8異常處理
3.2.9非確定性
3.2.10時(shí)序
3.3嵌入式系統(tǒng)的描述要求
3.4描述語言綜述
3.4.1VHDL
3.4.2Verilog
3.4.3HardwareC
3.4.4CSP
3.4.5Statecharts
3.4.6Argos
3.4.7SDL
3.4.8Silage
3.4.9Esterel
3.5Spec-Charts
3.5.1語言描述
3.5.2用SpecCharts描述嵌入式系統(tǒng)
3.5.3等價(jià)圖形化表示
3.5.4語言的可擴(kuò)展性
3.6結(jié)論和發(fā)展方向
3.7練習(xí)
第4章系統(tǒng)描述舉例
4.1引言
4.2電話應(yīng)答機(jī)
4.3用SpecCharts進(jìn)行系統(tǒng)描述
4.4測(cè)試用例舉例
4.5可執(zhí)行系統(tǒng)描述的優(yōu)點(diǎn)
4.6PSM模型的優(yōu)勢(shì)
4.6.1層次性
4.6.2狀態(tài)遷移
4.6.3程序設(shè)計(jì)結(jié)構(gòu)
4.6.4并行性
4.6.5異常處理
4.6.6完成
4.6.7狀態(tài)分解和編碼的等價(jià)性
4.7實(shí)驗(yàn)
4.7.1系統(tǒng)描述的獲取比較
4.7.2系統(tǒng)描述的理解比較
4.7.3系統(tǒng)描述的量化比較
4.7.4設(shè)計(jì)質(zhì)量比較
4.8結(jié)論
4.9練習(xí)
第5章轉(zhuǎn)換成VHDL
5.1引言
5.2狀態(tài)遷移
5.3消息傳遞通信
5.3.1阻塞式消息傳遞
5.3.2非阻塞式消息傳遞
5.4并發(fā)
5.4.1數(shù)據(jù)流
5.4.2分叉
5.5異常處理
5.6從程序狀態(tài)機(jī)到任務(wù)
5.6.1概述
5.6.2算法
5.6.3時(shí)間調(diào)整
5.6.4綜合
5.7結(jié)論和發(fā)展方向
5.8練習(xí)
第6章系統(tǒng)劃分
6.1引言
6.2結(jié)構(gòu)劃分和功能劃分
6.2.1結(jié)構(gòu)劃分
6.2.2功能劃分
6.3劃分中的問題
6.3.1系統(tǒng)描述抽象級(jí)別
6.3.2粒度
6.3.3系統(tǒng)組件的分配
6.3.4度量和評(píng)估
6.3.5目標(biāo)函數(shù)和接近函數(shù)
6.3.6劃分算法
6.3.7輸出
6.3.8控制流程和設(shè)計(jì)者的參與
6.3.9典型系統(tǒng)配置
6.4基本劃分算法
6.4.1隨機(jī)映射
6.4.2層次化結(jié)群
6.4.3多級(jí)結(jié)群
6.4.4成組移動(dòng)
6,4.5比率切割
6.4.6模擬退火
6.4.7遺傳進(jìn)化
6.4.8整數(shù)線性規(guī)劃
6.5硬件功能劃分
6.5.1Yorktown硅編譯器
6.5.2BUD
6.5.3Aparty
6.5.4其他技術(shù)
6.6軟硬件劃分算法
6.6.1貪心算法
6.6.2爬山算法
6.6.3二分約束搜索算法
6.7系統(tǒng)功能劃分
6.7.1Vulcan
6.7.2Cosyma
6.7.3SpecSyn
6.7.4其他技術(shù)
6.8折中的探索
6.9結(jié)論和發(fā)展方向
6.10練習(xí)
第7章設(shè)計(jì)質(zhì)量評(píng)估
7.1引言
7.1.1精確性與速度
7.1.2評(píng)估的保真度
7.2質(zhì)量度量
7.2.1硬件成本度量
7.2.2軟件成本度量
7.2.3性能度量
7.2.4其他度量
7.3硬件評(píng)估
7.3.1硬件評(píng)估模型
7.3.2時(shí)鐘周期評(píng)估
7.3.3控制步評(píng)估
7.3.4執(zhí)行時(shí)間評(píng)估
7.3.5通信速率評(píng)估
7.3.6面積評(píng)估
7.3.7引腳評(píng)估
7.4軟件評(píng)估
7.4.1軟件評(píng)估模型
7.4.2程序執(zhí)行時(shí)間
7.4.3程序存儲(chǔ)大小
7.4.4數(shù)據(jù)存儲(chǔ)大小
7.5系統(tǒng)級(jí)工具的評(píng)估技術(shù)
7.5.1BUD
7.5.2Aparty
7.5.3Vulcan
7.5.4SpecSyn
7.6結(jié)論和發(fā)展方向
7.7練習(xí)
第8章設(shè)計(jì)描述細(xì)化
8.1引言
8.2細(xì)化變量群組
8.2.1變量折疊
8.2.2存儲(chǔ)地址轉(zhuǎn)換
8.3通道細(xì)化
8.3.1通道和總線的表征
8.3.2問題的定義
8.3.3總線生成
8.3.4協(xié)議生成
8.4解決訪問沖突
8.4.1仲裁模型
8.4.2仲裁方案
8.4.3仲裁器生成
8.5細(xì)化不兼容接口
8.5.1問題的定義
8.5.2通信協(xié)議描述
8.5.3接口進(jìn)程生成
8.5.4協(xié)議兼容的其他方法
8.6細(xì)化軟件/硬件接口
8.6.1目標(biāo)體系結(jié)構(gòu)
8.6.2變量分配
8.6.3接口生成
8.6.4數(shù)據(jù)訪問細(xì)化
8.6.5控制訪問細(xì)化
8.7結(jié)論和發(fā)展方向
8.8練習(xí)
第9章系統(tǒng)設(shè)計(jì)方法學(xué)
9.1引言
9.2基本概念
9.3設(shè)計(jì)方法學(xué)舉例
9.3.1當(dāng)前的慣例
9.3.2系統(tǒng)級(jí)方法學(xué)
9.4通用綜合系統(tǒng)
9.4.1系統(tǒng)綜合
9.4.2ASIC綜合
9.4.3邏輯綜合和時(shí)序綜合
9.4.4物理設(shè)計(jì)
9.4.5軟件綜合
9.4.6系統(tǒng)數(shù)據(jù)庫
9.5系統(tǒng)設(shè)計(jì)的概念化環(huán)境
9.6結(jié)論和發(fā)展方向
9.7練習(xí)
附錄A應(yīng)答機(jī)的自然語言描述
附錄B應(yīng)答機(jī)的SpecCharts描述
參考文獻(xiàn)
術(shù)語解釋
索引