內容提要
![用SpecC作系統設計](/img/8/018/nBnauM3X1ETNwUTM0EjNxkzM0MTMzYDMyMDMwADMwAjMxAzLxYzL1czLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
作者簡介
邊計年,清華大學計算機系教授,博士生導師。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.3SpecC模型
1.3.1傳統的模型
1.3.2SpecC模型
1.3.3協定插入
1.3.4即插即用的通信
1.3.5通信模組的即插即用
1.4系統級語言的需求
1.4.1語言目標
1.4.2語言的需求
1.5SpecC語言
1.5.1基礎
1.5.2SpecC的類型
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.3SpecC方法學
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.1GSM語音合成器標準
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.1JBIG結構圖
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.6JBIG硬體設計
4.6.1JBIG硬體體系結構
4.7結論
第5章SpecC設計環境
提綱
5.1簡介
5.1.1系統驗證
5.1.2SpecC覆蓋範圍
5.1.3SpecC設計方法學
5.2細化
5.2.1用戶接口
5.2.2特徵提取和性能評估
5.2.3互動式細化
5.2.4自動細化
5.2.5驗證
5.3SpecC引擎
5.3.1細化引擎
5.3.2探索引擎
5.3.3綜合引擎
5.4結論
第6章SpecC技術開放協會
6.1前言
6.2動機
6.2.1設計能力的差距
6.2.2SpecC設計方法
6.3SpecC技術開放協會
6.3.1目的
6.3.2歷史
6.3.3計畫
6.3.4成員
索引