用SpecC作系統設計

用SpecC作系統設計，作者，（美）格斯勞爾，由清華大學出版社於2008-1-1出版。

基本信息

• 名稱：用SpecC作系統設計
• 作者：Gerstlauer
• 價格：25.00 元
• 語種：簡體中文
• ISBN：9787302132899
• 出版社：清華大學出版社
• 開本：16開
• 出版時間：2008年1月
• 裝幀：平裝
• 版次：第一版
• 章回：6章
• 譯者：邊計年

內容提要

用SpecC作系統設計

全書共分6章。第1章介紹設計方法學和SpecC語言，把SpecC作為專門面向綜合的系統級設計語言（system-leveldesignlanguage,SLDL)的一個實例。第2章討論系統級設計的4個不同的抽象級別，定義每一個級別上的模型，並且詳細解釋如何從一個抽象級別逐步細化到下一個級別。為了以實例說明設計方法學，我們將設計方法學套用於工業界的2個實例（行動電話的語音編碼/解碼器和圖像編碼器）分別在第3章和第4章中介紹。第5章介紹圍繞上述設計方法學而研發的整個設計環境和可能使用的工具。最後，在第6章中介紹SpecC技術開放協會（SpecCTechnologyOpenConsortium)，該協會的目的是促使SpecC語言成為世界性的標準，以便於相互協同工作、IP核（intellectualpropertycore）相互交流等。本書將給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.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成員

索引