《用SPEC C作系統設計》作者：(美)AndreasGerstlauer，RainerDomer，JunyuPeng，DanielD.Gajski[同作者作品][作譯者介紹]
譯者：邊計年；薛宏熙[同譯者作品]
叢書名：VHDL與積體電路設計叢書
出版社：清華大學出版社
書號：9787302132899
出版日期：2008年1月
開本：16開
頁碼：260
版次：1-1
所屬分類：計算機>軟體與程式設計>C/TurboC>C
教材>研究生/本科/專科教材>工學>計算機
教材>計算機教材>本科/研究生>計算機專業>計算機專業課程>程式設計
內容簡介
全書共分6章。第1章介紹設計方法學和SpecC語言，把SpecC作為專門面向綜合的系統級設計語言（system-leveldesignlanguage,SLDL)的一個實例。第2章討論系統級設計的4個不同的抽象級別，定義每一個級別上的模型，並且詳細解釋如何從一個抽象級別逐步細化到下一個級別。為了以實例說明設計方法學，我們將設計方法學套用於工業界的2個實例（行動電話的語音編碼/解碼器和圖像編碼器）分別在第3章和第4章中介紹。第5章介紹圍繞上述設計方法學而研發的整個設計環境和可能使用的工具。最後，在第6章中介紹SpecC技術開放協會（SpecCTechnologyOpenConsortium)，該協會的目的是促使SpecC語言成為世界性的標準，以便於相互協同工作、IP核（intellectualpropertycore）相互交流等。本書將給SOC或嵌入式系統的設計者和設計管理者帶來巨大效益。他們可以利用本書的結果開發出新的設計方法，使其設計效率以指數形式上升。對於那些原來是RTL級、邏輯級或物理級的設計者來說，如果他們對轉移到系統級設計有興趣，他們會發現可以對設計整體有全面的把握。本書的設計模型定義了IP模型和函式，適合於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.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語言
相關資源
·【推薦嵌入式學院相關就業培訓課程】(嵌入式Linux、Symbian手機開發、WinCE/Mobile開發、FPGA等)·程式設計師的7種武器(正則表達式、程式語言、資料庫、算法、軟體調試、開發環境)
·C/C++經典著作(《C專家編程》《C++Templates中文版》《C和指針》《C陷阱與缺陷》《C++沉思錄》)
