用Spec C作系統(tǒng)設計

內(nèi)容概要

　　《用SpecC做系統(tǒng)設計》共分6章。第1章介紹設計方法學和SpecC語言，把SpecC作為專門面向綜合的系統(tǒng)級設計語言（systemleveldesignlanguage，SLDL）的一個實例。第2章討論系統(tǒng)級設計的4個不同的抽象級別，定義每一個級別上的模型，并且詳細解釋如何從一個抽象級別逐步細化到下一個級別。為了以實例說明設計方法學，我們將設計方法學應用于工業(yè)界的2個實例（移動電話的語音編碼/解碼器和圖像編碼器）分別在第3章和第4章中介紹。第5章介紹圍繞上述設計方法學而研發(fā)的整個設計環(huán)境和可能使用的工具。最后，在第6章中介紹SpecC技術開放協(xié)會（SpecC Technology Open Consortium） ，該協(xié)會的目的是促使SpecC語言成為世界性的標準，以便于相互協(xié)同工作、IP核（intellectualpropertycore）相互交流等?！　　队肧pecC做系統(tǒng)設計》將給SOC或嵌入式系統(tǒng)的設計者和設計管理者帶來巨大效益。他們可以利用《用SpecC做系統(tǒng)設計》的結果開發(fā)出新的設計方法，使其設計效率以指數(shù)形式上升。對于那些原來是RTL級、邏輯級或物理級的設計者來說，如果他們對轉移到系統(tǒng)級設計有興趣，他們會發(fā)現(xiàn)可以對設計整體有全面的把握?！　　队肧pecC做系統(tǒng)設計》的設計模型定義了IP模型和函數(shù)，適合于IP核提供者和使用者交流用。一個高效的方法學（例如《用SpecC做系統(tǒng)設計》所提供的方法）將幫助產(chǎn)品計劃部門快速開發(fā)出新產(chǎn)品，或者引出新的商業(yè)模型（例如電子設計或根據(jù)定單設計產(chǎn)品）。最后，系統(tǒng)設計領域的學者和學生可以在《用SpecC做系統(tǒng)設計》中找到形式化的、有很好結構的設計流程實例。

書籍目錄

第1章　specC語言提綱1.1　簡介1.2　計算模型1.2.1　有限狀態(tài)機1.2.2　數(shù)據(jù)流圖1.2.3　帶數(shù)據(jù)通路有限狀態(tài)機1.2.4　帶數(shù)據(jù)通路的超狀態(tài)有限狀態(tài)機1.2.5　層次化并發(fā)有限狀態(tài)機1.2.6　程序狀態(tài)機1.3 SpecC模型1.3.1　傳統(tǒng)的模型1.3.2　SpecC模型1.3.3　協(xié)議插入1.3.4　即插即用的通信1.3.5　通信模塊的即插即用1.4　系統(tǒng)級語言的需求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　有限狀態(tài)機的執(zhí)行1.5.6　流水線的執(zhí)行1.5.7　通信1.5.8　同步1.5.9　例外處理1.5.10　定時1.5.1l　對設計庫的支持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　系統(tǒng)描述模型2.2.1　系統(tǒng)描述模型舉例2.2.2　通信與計算2.3　體系結構細化2.3.1　行為劃分2.3.2　變量劃分2.3.3　執(zhí)行時間2.3.4　調度2.4　體系結構模型2.5　通信綜合2.5.1　通道劃分2.5.2　插入?yún)f(xié)議2.5.3　知識產(chǎn)權組件2.5.4　插入?yún)f(xié)議2.6　通信模型2.7　后端處理2.7.1　硬件綜合2.7.2　軟件綜合2.7.3　接口綜合2.7.4　實現(xiàn)模型舉例2.8　實現(xiàn)模型2.9　總結和結論第3章　移動通信的GSM語音合成器設計提綱3.1　簡介3.1.1　GSM語音合成器標準3.2　系統(tǒng)描述模型3.2.1　編碼層次3.2.2　特征提取3.3　體系結構探索3.3.1　模型評估3.4　體系結構模型3.5　通信綜合3.6　通信模型3.7　后端處理3.8　最終實現(xiàn)模型3.9　小結和結論第4章　圖像壓縮解壓縮（JBIG）編碼器設計提綱4.1　簡介4.1.1 JBIG結構圖4.2　系統(tǒng)描述4.2.1　系統(tǒng)描述模型4.3　軟硬件劃分4.3.1　方案4.3.2　方案4.3.3　方案4.3.4　方案4.3.5　結果分析4.3.6　方案選擇4.4體系結構模型4.5通信模型4.5.1　內(nèi)存一總線接口4.6 JBIG硬件設計4.6.1 JBIG硬件體系結構4.7結論第5章　specC設計環(huán)境提綱5.1　簡介5.1.1　系統(tǒng)驗證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技術開放協(xié)會6.1　前言6.2　動機6.2.1　設計能力的差距6.2.2　SpecC設計方法6.3 SpecC　技術開放協(xié)會6.3.1　目的6.3.2　歷史6.3.3　計劃6.3.4　成員索引

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    用Spec C作系統(tǒng)設計 PDF格式下載

---