嵌入式系統(tǒng)的描述與設(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)機(jī)
2.3.2Petri網(wǎng)
2.3.3層次化并發(fā)有限狀態(tài)機(jī)
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)機(jī)
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)機(jī)
2.10處理器
2.10.1復(fù)雜指令集計算機(jī)
2.10.2精簡指令集計算機(jī)
2.10.3向量機(jī)
2.10.4超長指令字計算機(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時序
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語言的可擴(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測試用例舉例
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)機(jī)到任務(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隨機(jī)映射
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)答機(jī)的自然語言描述
附錄B應(yīng)答機(jī)的SpecCharts描述
參考文獻(xiàn)
術(shù)語解釋
索引