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

內(nèi)容概要

本書(shū)介紹嵌入式系統(tǒng)領(lǐng)域的基本概念以及實(shí)際的描述和設(shè)計(jì)方法，包括嵌入式系統(tǒng)設(shè)計(jì)的模型和體系結(jié)構(gòu)、描述語(yǔ)言、系統(tǒng)劃分、設(shè)計(jì)質(zhì)量評(píng)估、描述細(xì)化以及系統(tǒng)級(jí)方法學(xué)等方面。講解詳細(xì)，實(shí)例豐富，有針對(duì)性地介紹了若干著名算法或解法，并解釋每種方法的優(yōu)缺點(diǎn)，還包括對(duì)該領(lǐng)域其他工作的綜述，并提出尚未解決的一些問(wèn)題。本書(shū)適合從事嵌入式系統(tǒng)設(shè)計(jì)和研究的工程技術(shù)人員、科研人員、高等院校計(jì)算機(jī)和電子信息工程專(zhuān)業(yè)的本科生和研究生。

作者簡(jiǎn)介

Daniel D. Gajski教授于賓夕法尼亞大學(xué)費(fèi)城分校獲得博士學(xué)位。他有十幾年的從事數(shù)字電路、交換系統(tǒng)、巨型計(jì)算機(jī)設(shè)計(jì)以及在VLSI結(jié)構(gòu)領(lǐng)域的從業(yè)經(jīng)歷。此后又在伊利諾伊大學(xué)厄巴納-尚佩恩分校計(jì)算機(jī)科學(xué)系從事了10年的學(xué)術(shù)研究。目前他是加州大學(xué)艾爾溫分校信息與計(jì)算機(jī)科學(xué)系、

書(shū)籍目錄

出版者的話(huà)專(zhuān)家指導(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 模型分類(lèi)  2.3 面向狀態(tài)的模型    2.3.1 有限狀態(tài)機(jī)    2.3.2 Petri網(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.2 Jackson圖  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ū)ο蟮哪Ｐ?   2.7.5 程序狀態(tài)機(jī)    2.7.6 隊(duì)列模型  2.8 體系結(jié)構(gòu)分類(lèi)  2.9 專(zhuān)用體系結(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.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 語(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)描述舉例第5章 轉(zhuǎn)換成VHDL第6章 系統(tǒng)劃分第7章 設(shè)計(jì)質(zhì)量評(píng)估第8章 設(shè)計(jì)描述細(xì)化第9章 系統(tǒng)設(shè)計(jì)方法學(xué)附錄A應(yīng)答機(jī)的自然語(yǔ)言描述附錄B應(yīng)答機(jī)的SpecCharts描述參考文獻(xiàn)術(shù)語(yǔ)解釋索引

媒體關(guān)注與評(píng)論

書(shū)評(píng)在過(guò)去的十年里，VLSI設(shè)計(jì)技術(shù)，特別是CAD產(chǎn)業(yè)，以異常迅猛的速度發(fā)展。這種快速的進(jìn)展使得產(chǎn)業(yè)界能在更短的時(shí)間內(nèi)設(shè)計(jì)和制造出復(fù)雜的專(zhuān)用集成電路和系統(tǒng)。本書(shū)綜述了系統(tǒng)設(shè)計(jì)的基本概念，并提出了軟件和硬件系統(tǒng)設(shè)計(jì)方法學(xué)的原理?？蓭椭渡碛陔娮酉到y(tǒng)設(shè)計(jì)的人士跟上時(shí)代的步伐。本書(shū)特點(diǎn)   ●提出系統(tǒng)設(shè)計(jì)中的基本問(wèn)題，討論各種可用于捕獲系統(tǒng)行為及其實(shí)現(xiàn)的概念   ●模型研究用來(lái)描述系統(tǒng)功能性的語(yǔ)言，以及通過(guò)模擬驗(yàn)證系統(tǒng)功能的各種問(wèn)題為系統(tǒng)劃分、評(píng)估及模型細(xì)化等提供了算法和技術(shù)的綜述   ●將以上所有的主題結(jié)合起來(lái)，使之成為一個(gè)具有一致性的設(shè)計(jì)方法，其中還包括對(duì)系統(tǒng)設(shè)計(jì)的通用環(huán)境的討論

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

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

---