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

定　價：￥33.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

出版者的話
專家指導(dǎo)委員會
譯者序
英文版序言
致謝
第1章引言
1.1設(shè)計表示
1.2抽象級別
1.3當(dāng)前的設(shè)計方法學(xué)
1.4系統(tǒng)級方法學(xué)
1.5系統(tǒng)描述和設(shè)計
第2章模型與體系結(jié)構(gòu)
2.1引言
2.2模型分類
2.3面向狀態(tài)的模型
2.3.1有限狀態(tài)機
2.3.2Petri網(wǎng)
2.3.3層次化并發(fā)有限狀態(tài)機
2.4面向活動的模型
2.4.1數(shù)據(jù)流圖
2.4.2流程圖
2.5面向結(jié)構(gòu)的模型
2.6面向數(shù)據(jù)的模型
2.6.1實體—關(guān)系圖
2.6.2Jackson圖
2.7異構(gòu)模型
2.7.1控制/數(shù)據(jù)流圖
2.7.2結(jié)構(gòu)圖
2.7.3程序設(shè)計語言模式
2.7.4面向?qū)ο蟮哪Ｐ?br />2.7.5程序狀態(tài)機
2.7.6隊列模型
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)機
2.10處理器
2.10.1復(fù)雜指令集計算機
2.10.2精簡指令集計算機
2.10.3向量機
2.10.4超長指令字計算機
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時序
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等價圖形化表示
3.5.4語言的可擴展性
3.6結(jié)論和發(fā)展方向
3.7練習(xí)
第4章系統(tǒng)描述舉例
4.1引言
4.2電話應(yīng)答機
4.3用SpecCharts進(jìn)行系統(tǒng)描述
4.4測試用例舉例
4.5可執(zhí)行系統(tǒng)描述的優(yōu)點
4.6PSM模型的優(yōu)勢
4.6.1層次性
4.6.2狀態(tài)遷移
4.6.3程序設(shè)計結(jié)構(gòu)
4.6.4并行性
4.6.5異常處理
4.6.6完成
4.6.7狀態(tài)分解和編碼的等價性
4.7實驗
4.7.1系統(tǒng)描述的獲取比較
4.7.2系統(tǒng)描述的理解比較
4.7.3系統(tǒng)描述的量化比較
4.7.4設(shè)計質(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)機到任務(wù)
5.6.1概述
5.6.2算法
5.6.3時間調(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)描述抽象級別
6.3.2粒度
6.3.3系統(tǒng)組件的分配
6.3.4度量和評估
6.3.5目標(biāo)函數(shù)和接近函數(shù)
6.3.6劃分算法
6.3.7輸出
6.3.8控制流程和設(shè)計者的參與
6.3.9典型系統(tǒng)配置
6.4基本劃分算法
6.4.1隨機映射
6.4.2層次化結(jié)群
6.4.3多級結(jié)群
6.4.4成組移動
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è)計質(zhì)量評估
7.1引言
7.1.1精確性與速度
7.1.2評估的保真度
7.2質(zhì)量度量
7.2.1硬件成本度量
7.2.2軟件成本度量
7.2.3性能度量
7.2.4其他度量
7.3硬件評估
7.3.1硬件評估模型
7.3.2時鐘周期評估
7.3.3控制步評估
7.3.4執(zhí)行時間評估
7.3.5通信速率評估
7.3.6面積評估
7.3.7引腳評估
7.4軟件評估
7.4.1軟件評估模型
7.4.2程序執(zhí)行時間
7.4.3程序存儲大小
7.4.4數(shù)據(jù)存儲大小
7.5系統(tǒng)級工具的評估技術(shù)
7.5.1BUD
7.5.2Aparty
7.5.3Vulcan
7.5.4SpecSyn
7.6結(jié)論和發(fā)展方向
7.7練習(xí)
第8章設(shè)計描述細(xì)化
8.1引言
8.2細(xì)化變量群組
8.2.1變量折疊
8.2.2存儲地址轉(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è)計方法學(xué)
9.1引言
9.2基本概念
9.3設(shè)計方法學(xué)舉例
9.3.1當(dāng)前的慣例
9.3.2系統(tǒng)級方法學(xué)
9.4通用綜合系統(tǒng)
9.4.1系統(tǒng)綜合
9.4.2ASIC綜合
9.4.3邏輯綜合和時序綜合
9.4.4物理設(shè)計
9.4.5軟件綜合
9.4.6系統(tǒng)數(shù)據(jù)庫
9.5系統(tǒng)設(shè)計的概念化環(huán)境
9.6結(jié)論和發(fā)展方向
9.7練習(xí)
附錄A應(yīng)答機的自然語言描述
附錄B應(yīng)答機的SpecCharts描述
參考文獻(xiàn)
術(shù)語解釋
索引