用SpecC做系統(tǒng)設(shè)計

定　價：￥25.00

作　者：	（美國）Andreas Gerstlauer 等著；邊計年譯
出版社：	清華大學出版社
叢編項：	VHDL與集成電路設(shè)計叢書
標　簽：	制圖

購買這本書可以去

ISBN：	9787302132899	出版時間：	2008-01-01	包裝：	平裝
開本：	16	頁數(shù)：	242	字數(shù)：

內(nèi)容簡介

　　全書共分6章。第1章介紹設(shè)計方法學和SpecC語言，把SpecC作為專門面向綜合的系統(tǒng)級設(shè)計語言（system-level design language，SLDL）的一個實例。第2章討論系統(tǒng)級設(shè)計的4個不同的抽象級別，定義每一個級別上的模型，并且詳細解釋如何從一個抽象級別逐步細化到下一個級別。為了以實例說明設(shè)計方法學，我們將設(shè)計方法學應用于工業(yè)界的2個實例（移動電話的語音編碼/解碼器和圖像編碼器）分別在第3章和第4章中介紹。第5章介紹圍繞上述設(shè)計方法學而研發(fā)的整個設(shè)計環(huán)境和可能使用的工具。最后，在第6章中介紹SpecC技術(shù)開放協(xié)會（SpecC Technology Open Consortium），該協(xié)會的目的是促使SpecC語言成為世界性的標準，以便于相互協(xié)同工作、IP核（intellectual property core）相互交流等。本書將給SOC或嵌入式系統(tǒng)的設(shè)計者和設(shè)計管理者帶來巨大效益。他們可以利用本書的結(jié)果開發(fā)出新的設(shè)計方法，使其設(shè)計效率以指數(shù)形式上升。對于那些原來是RTL級、邏輯級或物理級的設(shè)計者來說，如果他們對轉(zhuǎn)移到系統(tǒng)級設(shè)計有興趣，他們會發(fā)現(xiàn)可以對設(shè)計整體有全面的把握。本書的設(shè)計模型定義了IP模型和函數(shù)，適合于IP核提供者和使用者交流用。一個高效的方法學（例如本書所提供的方法）將幫助產(chǎn)品計劃部門快速開發(fā)出新產(chǎn)品，或者引出新的商業(yè)模型（例如電子設(shè)計或根據(jù)定單設(shè)計產(chǎn)品）。最后，系統(tǒng)設(shè)計領(lǐng)域的學者和學生可以在本書中找到形式化的、有很好結(jié)構(gòu)的設(shè)計流程實例。

作者簡介

　　邊計年，清華大學計算機系教授，博士生導師。1970年畢業(yè)于清華大學自動控制系，畢業(yè)后在清華大學任教至今，其中1985年至1986年作為訪問學者在日本京都大學進修。研究方向為面向系統(tǒng)芯片（SOC）的系統(tǒng)設(shè)計方法學，包括系統(tǒng)描述、軟硬件劃分與通信綜合、與布圖結(jié)合的高層次綜合、系統(tǒng)協(xié)同驗證等。出版著作有《數(shù)字系統(tǒng)計算機輔助設(shè)計》、《數(shù)字系統(tǒng)設(shè)計自動化》、《超大規(guī)模集成電路計算機輔助設(shè)計技術(shù)》等。譯著有《VHDL簡明教程》、《數(shù)字邏輯與VHDL設(shè)計》、《嵌入式系統(tǒng)的描述與設(shè)計》等。

圖書目錄

1.2 計算模型5
1.2.1 有限狀態(tài)機6
1.2.2 數(shù)據(jù)流圖7
1.2.3 帶數(shù)據(jù)通路有限狀態(tài)機8
1.2.4 帶數(shù)據(jù)通路的超狀態(tài)有限狀態(tài)機9
1.2.5 層次化并發(fā)有限狀態(tài)機10
1.2.6 程序狀態(tài)機11
1.3 SpecC模型12
1.3.1 傳統(tǒng)的模型12
1.3.2 SpecC模型14
1.3.3 協(xié)議插入15
1.3.4 即插即用的通信17
1.3.5 通信模塊的即插即用22
1.4 系統(tǒng)級語言的需求26
1.4.1 語言目標26
1.4.2 語言的需求28
1.5 SpecC語言29
1.5.1 基礎(chǔ)29
1.5.2 SpecC的類型33
1.5.3 層次化結(jié)構(gòu)35
1.5.4 行為的層次結(jié)構(gòu)38
1.5.5 有限狀態(tài)機的執(zhí)行40
1.5.6 流水線的執(zhí)行41
1.5.7 通信45
1.5.8 同步48
1.5.9 例外處理51
1.5.10 定時53
1.5.11 對設(shè)計庫的支持57
1.5.12 持久的標注58
1.6 本章要點和結(jié)論60
1.6.1 本章要點60
1.6.2 結(jié)論61
1.6.3 更多的信息62第2章用SpecC建模和設(shè)計63
提綱64
2.1 簡介65
2.1.1 抽象級別66
2.1.2 設(shè)計流程69
2.1.3 SpecC方法學71
2.2 系統(tǒng)描述模型72
2.2.1 系統(tǒng)描述模型舉例73
2.2.2 通信與計算76
2.3 體系結(jié)構(gòu)細化80
2.3.1 行為劃分82
2.3.2 變量劃分91
2.3.3 執(zhí)行時間97
2.3.4 調(diào)度99
2.4 體系結(jié)構(gòu)模型104
2.5 通信綜合106
2.5.1 通道劃分108
2.5.2 插入?yún)f(xié)議116
2.5.3 知識產(chǎn)權(quán)組件138
2.5.4 插入?yún)f(xié)議142
2.6 通信模型151
2.7 后端處理152
2.7.1 硬件綜合154
2.7.2 軟件綜合157
2.7.3 接口綜合160
2.7.4 實現(xiàn)模型舉例167
2.8 實現(xiàn)模型171
2.9 總結(jié)和結(jié)論172第3章移動通信的GSM語音合成器設(shè)計175
提綱176
3.1 簡介177
3.1.1 GSM語音合成器標準178
3.2 系統(tǒng)描述模型179
3.2.1 編碼層次180
3.2.2 特征提取181
3.3 體系結(jié)構(gòu)探索182
3.3.1 模型評估183
3.4 體系結(jié)構(gòu)模型185
3.5 通信綜合186
3.6 通信模型187
3.7 后端處理188
3.8 最終實現(xiàn)模型190
3.9 小結(jié)和結(jié)論191第4章圖像壓縮解壓縮（JBIG）編碼器設(shè)計193
提綱194
4.1 簡介195
4.1.1 JBIG結(jié)構(gòu)圖196
4.2 系統(tǒng)描述197
4.2.1 系統(tǒng)描述模型198
4.3 軟硬件劃分199
4.3.1 方案1200
4.3.2 方案2201
4.3.3 方案3202
4.3.4 方案4203
4.3.5 結(jié)果分析204
4.3.6 方案選擇206
4.4 體系結(jié)構(gòu)模型207
4.5 通信模型208
4.5.1 內(nèi)存-總線接口209
4.6 JBIG硬件設(shè)計213
4.6.1 JBIG硬件體系結(jié)構(gòu)214
4.7 結(jié)論215第5章 SpecC設(shè)計環(huán)境217
提綱218
5.1 簡介219
5.1.1 系統(tǒng)驗證221
5.1.2 SpecC覆蓋范圍222
5.1.3 SpecC設(shè)計方法學223
5.2 細化224
5.2.1 用戶接口225
5.2.2 特征提取和性能評估226
5.2.3 交互式細化227
5.2.4 自動細化228
5.2.5 驗證229
5.3 SpecC引擎230
5.3.1 細化引擎231
5.3.2 探索引擎232
5.3.3 綜合引擎233
5.4 結(jié)論234第6章 SpecC技術(shù)開放協(xié)會237
6.1 前言238
6.2 動機238
6.2.1 設(shè)計能力的差距239
6.2.2 SpecC設(shè)計方法240
6.3 SpecC技術(shù)開放協(xié)會246
6.3.1 目的247
6.3.2 歷史248
6.3.3 計劃249
6.3.4 成員250

索引253