嵌入式系統(tǒng)的描述與設計
出版時間：2005-7 出版社：機械工業(yè)出版社 作者：蓋斯基
Tag標簽：無
內容概要
本書介紹嵌入式系統(tǒng)領域的基本概念以及實際的描述和設計方法，包括嵌入式系統(tǒng)設計的模型和體系結構、描述語言、系統(tǒng)劃分、設計質量評估、描述細化以及系統(tǒng)級方法學等方面。講解詳細，實例豐富，有針對性地介紹了若干著名算法或解法，并解釋每種方法的優(yōu)缺點，還包括對該領域其他工作的綜述，并提出尚未解決的一些問題。本書適合從事嵌入式系統(tǒng)設計和研究的工程技術人員、科研人員、高等院校計算機和電子信息工程專業(yè)的本科生和研究生。
作者簡介
Daniel D. Gajski教授于賓夕法尼亞大學費城分校獲得博士學位。他有十幾年的從事數(shù)字電路、交換系統(tǒng)、巨型計算機設計以及在VLSI結構領域的從業(yè)經歷。此后又在伊利諾伊大學厄巴納-尚佩恩分校計算機科學系從事了10年的學術研究。目前他是加州大學艾爾溫分校信息與計算機科學系、
書籍目錄
出版者的話專家指導委員會譯者序英文版序言致謝第1章 引言 1.1 設計表示 1.2 抽象級別 1.3 當前的設計方法學 1.4 系統(tǒng)級方法學 1.5 系統(tǒng)描述和設計第2章 模型與體系結構 2.1 引言 2.2 模型分類 2.3 面向狀態(tài)的模型 2.3.1 有限狀態(tài)機 2.3.2 Petri網 2.3.3 層次化并發(fā)有限狀態(tài)機 2.4 面向活動的模型 2.4.1 數(shù)據(jù)流圖 2.4.2 流程圖 2.5 面向結構的模型 2.6 面向數(shù)據(jù)的模型 2.6.1 實體-關系圖 2.6.2 Jackson圖 2.7 異構模型 2.7.1 控制/數(shù)據(jù)流圖 2.7.2 結構圖 2.7.3 程序設計語言模式 2.7.4 面向對象的模型 2.7.5 程序狀態(tài)機 2.7.6 隊列模型 2.8 體系結構分類 2.9 專用體系結構 2.9.1 控制器體系結構 2.9.2 數(shù)據(jù)通路體系結構 2.9.3 帶數(shù)據(jù)通路的有限狀態(tài)機 2.10 處理器 2.10.1 復雜指令集計算機 2.10.2 精簡指令集計算機 2.10.3 向量機 2.10.4 超長指令字計算機 2.11 并行處理器 2.12 結論 2.13 練習 第3章 系統(tǒng)描述語言 3.1 引言 3.2 概念模型的特性 3.2.1 并發(fā)性 3.2.2 狀態(tài)遷移 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 嵌入式系統(tǒng)的描述要求 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描述嵌入式系統(tǒng) 3.5.3 等價圖形化表示 3.5.4 語言的可擴展性 3.6 結論和發(fā)展方向 3.7 練習第4章 系統(tǒng)描述舉例第5章 轉換成VHDL第6章 系統(tǒng)劃分第7章 設計質量評估第8章 設計描述細化第9章 系統(tǒng)設計方法學附錄A應答機的自然語言描述附錄B應答機的SpecCharts描述參考文獻術語解釋索引
媒體關注與評論
書評在過去的十年里，VLSI設計技術，特別是CAD產業(yè)，以異常迅猛的速度發(fā)展。這種快速的進展使得產業(yè)界能在更短的時間內設計和制造出復雜的專用集成電路和系統(tǒng)。本書綜述了系統(tǒng)設計的基本概念，并提出了軟件和硬件系統(tǒng)設計方法學的原理?？蓭椭渡碛陔娮酉到y(tǒng)設計的人士跟上時代的步伐。本書特點 ●提出系統(tǒng)設計中的基本問題，討論各種可用于捕獲系統(tǒng)行為及其實現(xiàn)的概念 ●模型研究用來描述系統(tǒng)功能性的語言，以及通過模擬驗證系統(tǒng)功能的各種問題為系統(tǒng)劃分、評估及模型細化等提供了算法和技術的綜述 ●將以上所有的主題結合起來，使之成為一個具有一致性的設計方法，其中還包括對系統(tǒng)設計的通用環(huán)境的討論
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載