用Spec C作系統設計（簡體書）

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

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

第1章 SpecC語言1提綱
　1.1 簡介
　1.2 計算模型
1.2.1 有限狀態機
1.2.2 數據流圖
1.2.3 帶數據通路有限狀態機
1.2.4 帶數據通路的超狀態有限狀態機
1.2.5 層次化并發有限狀態機
1.2.6 程序狀態機
　1.3 SpecC模型
1.3.1 傳統的模型
1.3.2 SpecC模型
1.3.3 協議插入
1.3.4 即插即用的通信
1.3.5 通信模塊的即插即用
　1.4 系統級語言的需求
1.4.1 語言目標
1.4.2 語言的需求
　1.5 SpecC語言
1.5.1 基礎
1.5.2 SpecC的類型
1.5.3 層次化結構
1.5.4 行為的層次結構
1.5.5 有限狀態機的執行
1.5.6 流水線的執行
1.5.7 通信
1.5.8 同步
1.5.9 例外處理
1.5.10 定時
1.5.11 對設計庫的支持
1.5.12 持久的標注
　1.6 本章要點和結論
1.6.1 本章要點
1.6.2 結論
1.6.3 更多的信息
第2章 用SpecC建模和設計
　提綱
　2.1 簡介
2.1.1 抽象級別
2.1.2 設計流程
2.1.3 SpecC方法學
　2.2 系統描述模型
2.2.1 系統描述模型舉例
2.2.2 通信與計算
　2.3 體系結構細化
2.3.1 行為劃分
2.3.2 變量劃分
2.3.3 執行時間
2.3.4 調度
　2.4 體系結構模型
　2.5 通信綜合
2.5.1 通道劃分
2.5.2 插入協議
2.5.3 知識產權組件
2.5.4 插入協議
　2.6 通信模型
　2.7 后端處理
2.7.1 硬件綜合
2.7.2 軟件綜合
2.7.3 接口綜合
2.7.4 實現模型舉例
　2.8 實現模型
　2.9 總結和結論
第3章 移動通信的GSM語音合成器設計
　提綱
　3.1 簡介
3.1.1 GSM語音合成器標準
　3.2 系統描述模型
3.2.1 編碼層次
3.2.2 特征提取
　3.3 體系結構探索
3.3.1 模型評估
3.4 體系結構模型
　3.5 通信綜合
　3.6 通信模型
　3.7 后端處理
　3.8 最終實現模型
　3.9 小結和結論
第4章 圖像壓縮解壓縮（JBIG）編碼器設計
　提綱
　4.1 簡介
4.1.1 JBIG結構圖
　4.2 系統描述
4.2.1 系統描述模型
　4.3 軟硬件劃分
4.3.1 方案1
4.3.2 方案2
4.3.3 方案3
4.3.4 方案4
4.3.5 結果分析
4.3.6 方案選擇
4.4 體系結構模型
　4.5 通信模型
4.5.1 內存-總線接口
　4.6 JBIG硬件設計
4.6.1 JBIG硬件體系結構
　4.7 結論
第5章 SpecC設計環境
　提綱
　5.1 簡介
5.1.1 系統驗證
5.1.2 SpecC覆蓋范圍
5.1.3 SpecC設計方法學
　5.2 細化
5.2.1 用戶接口
5.2.2 特征提取和性能評估
5.2.3 交互式細化
5.2.4 自動細化
5.2.5 驗證
　5.3 SpecC引擎
5.3.1 細化引擎
5.3.2 探索引擎
5.3.3 綜合引擎
　5.4 結論
第6章 SpecC技術開放協會
　6.1 前言
　6.2 動機
6.2.1 設計能力的差距
6.2.2 SpecC設計方法
　6.3 SpecC技術開放協會
6.3.1 目的
6.3.2 歷史
6.3.3 計劃
6.3.4 成員
索引