用SpecC做系統設計
用SpecC做系統設計
《用SpecC做系統設計》是2008年1月清華大學出版社出版的圖書，作者是Gerstlauer。本書主要介紹了用用SpecC做系統設計並開發出新的設計方法。
本書將給SOC或嵌入式系統的設計者和設計管理者帶來巨大效益。他們可以利用本書的結果開發出新的設計方法，使其設計效率以指數形式上升。對於那些原來是RTL級、邏輯級或物理級的設計者來說，如果他們對轉移到系統級設計有興趣，他們會發現可以對設計整體有全面的把握。本書的設計模型定義了IP模型和函數，適合於IP核提供者和使用者交流用。一個高效的方法學（例如本書所提供的方法）將幫助產品計劃部門快速開發出新產品，或者引出新的商業模型（例如電子設計或根據定單設計產品）。最後，系統設計領域的學者和學生可以在本書中找到形式化的、有很好結構的設計流程實例。
全書共分6章。第1章介紹設計方法學和SpecC語言，把SpecC作為專門面向綜合的系統級設計語言的一個實例。第2章討論系統級設計的4個不同的抽象級別，定義每一個級別上的模型，並且詳細解釋如何從一個抽象級別逐步細化到下一個級別。第3章和第4章介紹將設計方法學應用於工業界的2個實例。第5章介紹圍繞設計方法學而研發的整個設計環境和可能使用的工具。在第6章中介紹SpecC技術開放協會，該協會的目的是促使SpecC語言成為世界性的標準，以便於相互協同工作、IP核相互交流等。
第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 成員
索引
