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

出版者的話
專家指導(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ì)語(yǔ)言模式
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精簡(jiǎn)指令集計(jì)算機(jī)
2.10.3向量機(jī)
2.10.4超長(zhǎng)指令字計(jì)算機(jī)
2.11并行處理器
2.12結(jié)論
2.13練習(xí)
第3章系統(tǒng)描述語(yǔ)言
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描述語(yǔ)言綜述
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語(yǔ)言描述
3.5.2用SpecCharts描述嵌入式系統(tǒng)
3.5.3等價(jià)圖形化表示
3.5.4語(yǔ)言的可擴(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劃分中的問(wèn)題
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問(wèn)題的定義
8.3.3總線生成
8.3.4協(xié)議生成
8.4解決訪問(wèn)沖突
8.4.1仲裁模型
8.4.2仲裁方案
8.4.3仲裁器生成
8.5細(xì)化不兼容接口
8.5.1問(wèn)題的定義
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ù)訪問(wèn)細(xì)化
8.6.5控制訪問(wèn)細(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ù)庫(kù)
9.5系統(tǒng)設(shè)計(jì)的概念化環(huán)境
9.6結(jié)論和發(fā)展方向
9.7練習(xí)
附錄A應(yīng)答機(jī)的自然語(yǔ)言描述
附錄B應(yīng)答機(jī)的SpecCharts描述
參考文獻(xiàn)
術(shù)語(yǔ)解釋
索引