《嵌入式系統的描述與設計》是2007年機械工業出版社出版的圖書，作者是蓋斯基。本書介紹嵌入式系統領域的基本概念以及實際的描述和設計方法，包括嵌入式系統模型和體系結果、描述語言、系統劃分、描述細化以及系統方法學等方面。
基本介紹
- 書名：嵌入式系統的描述與設計
- ISBN：9787111164227, 7111164229
- 頁數：253頁
- 裝幀：平裝
圖書信息,作者簡介,內容簡介,媒體評論,目錄,
圖書信息
出版社: 機械工業出版社; 第1版 (2007年1月1日)
開本: 0開
條形碼: 9787111164227
尺寸: 26 x 18.5 x 1.2 cm
重量: 481 g
作者簡介
作者：（美國）蓋斯基 等
內容簡介
講解詳細，實例豐富，有針對性的介紹了若干著名算法或解法，並解釋每種方法的優缺點，還包括對該領域其他工作的綜述，並提出尚未解決的一些問題。
媒體評論
書評
在過去的十年里，VLSI設計技術，特別是CAD產業，以異常迅猛的速度發展。這種快速的進展使得產業界能在更短的時間內設計和製造出複雜的專用積體電路和系統。本書綜述了系統設計的基本概念，並提出了軟體和硬體系統設計方法學的原理。可幫助投身於電子系統設計的人士跟上時代的步伐。
本書特點
●提出系統設計中的基本問題，討論各種可用於捕獲系統行為及其實現的概念
●模型研究用來描述系統功能性的語言，以及通過模擬驗證系統功能的各種問題為系統劃分、評估及模型細化等提供了算法和技術的綜述
●將以上所有的主題結合起來，使之成為一個具有一致性的設計方法，其中還包括對系統設計的通用環境的討論
目錄
出版者的話
專家指導委員會
譯者序
英文版序言
致謝
第1章 引言
1.1 設計表示
1.2 抽象級別
1.3 當前的設計方法學
1.4 系統級方法學
1.5 系統描述和設計
第2章 模型與體系結構
2.1 引言
2.2 模型分類
2.3 面向狀態的模型
2.3.1 有限狀態機
2.3.2 Petri網
2.3.3 層次化並發有限狀態機
2.4 面向活動的模型
2.4.1 數據流圖
2.4.2 流程圖
2.5 面向結構的模型
2.6 面向數據的模型
2.6.1 實體-關係圖
2.6.2 Jackson圖
2.7 異構模型
2.7.1 控制/數據流圖
2.7.2 結構圖
2.7.3 程式設計語言模式
2.7.4 面向對象的模型
2.7.5 程式狀態機
2.7.6 佇列模型
2.8 體系結構分類
2.9 專用體系結構
2.9.1 控制器體系結構
2.9.2 數據通路體系結構
2.9.3 帶數據通路的有限狀態機
2.10 處理器
2.10.1 複雜指令集計算機
2.10.2 精簡指令集計算機
2.10.3 向量機
2.10.4 超長指令字計算機
2.11 並行處理器
2.12 結論
2.13 練習
第3章 系統描述語言
3.1 引言
3.2 概念模型的特性
3.2.1 並發性
3.2.2 狀態遷移
3.2.3 層次化
3.2.4 程式結構
3.2.5 行為完成
3.2.6 通信
3.2.7 同步
3.2.8 異常處理
3.2.9 非確定性
3.2.10 時序
3.3 嵌入式系統的描述要求
3.4 描述語言綜述
3.4.1 VHDL
3.4.2 Verilog
3.4.3 HardwareC
3.4.4 CSP
3.4.5 Statecharts
3.4.6 Argos
3.4.7 SDL
3.4.8 Silage
3.4.9 Esterel
3.5 SpecCharts
3.5.1 語言描述
3.5.2 用SpecCharts描述嵌入式系統
3.5.3 等價圖形化表示
3.5.4 語言的可擴展性
3.6 結論和發展方向
3.7 練習
第4章 系統描述舉例
第5章 轉換成VHDL
第6章 系統劃分
第7章 設計質量評估
第8章 設計描述細化
第9章 系統設計方法學
附錄A應答機的自然語言描述
附錄B應答機的SpecCharts描述
參考文獻
術語解釋
索引
