內容簡介
用SpecC做系統設計圖書目錄
第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 成員
索引
