用Spec C作系統(tǒng)設(shè)計(jì)

內(nèi)容概要

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

書籍目錄

第1章　specC語(yǔ)言提綱1.1　簡(jiǎn)介1.2　計(jì)算模型1.2.1　有限狀態(tài)機(jī)1.2.2　數(shù)據(jù)流圖1.2.3　帶數(shù)據(jù)通路有限狀態(tài)機(jī)1.2.4　帶數(shù)據(jù)通路的超狀態(tài)有限狀態(tài)機(jī)1.2.5　層次化并發(fā)有限狀態(tài)機(jī)1.2.6　程序狀態(tài)機(jī)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)級(jí)語(yǔ)言的需求1.4.1　語(yǔ)言目標(biāo)1.4.2　語(yǔ)言的需求1.5　SpecC語(yǔ)言1.5.1　基礎(chǔ)1.5.2　SpecC的類型1.5.3　層次化結(jié)構(gòu)1.5.4　行為的層次結(jié)構(gòu)1.5.5　有限狀態(tài)機(jī)的執(zhí)行1.5.6　流水線的執(zhí)行1.5.7　通信1.5.8　同步1.5.9　例外處理1.5.10　定時(shí)1.5.1l　對(duì)設(shè)計(jì)庫(kù)的支持1.5.12　持久的標(biāo)注1.6　本章要點(diǎn)和結(jié)論1.6.1　本章要點(diǎn)1.6.2　結(jié)論1.6.3　更多的信息第2章　用SpecC建模和設(shè)計(jì)提綱2.1　簡(jiǎn)介2.1.1　抽象級(jí)別2.1.2　設(shè)計(jì)流程2.1.3　SpecC：方法學(xué)2.2　系統(tǒng)描述模型2.2.1　系統(tǒng)描述模型舉例2.2.2　通信與計(jì)算2.3　體系結(jié)構(gòu)細(xì)化2.3.1　行為劃分2.3.2　變量劃分2.3.3　執(zhí)行時(shí)間2.3.4　調(diào)度2.4　體系結(jié)構(gòu)模型2.5　通信綜合2.5.1　通道劃分2.5.2　插入?yún)f(xié)議2.5.3　知識(shí)產(chǎn)權(quán)組件2.5.4　插入?yún)f(xié)議2.6　通信模型2.7　后端處理2.7.1　硬件綜合2.7.2　軟件綜合2.7.3　接口綜合2.7.4　實(shí)現(xiàn)模型舉例2.8　實(shí)現(xiàn)模型2.9　總結(jié)和結(jié)論第3章　移動(dòng)通信的GSM語(yǔ)音合成器設(shè)計(jì)提綱3.1　簡(jiǎn)介3.1.1　GSM語(yǔ)音合成器標(biāo)準(zhǔn)3.2　系統(tǒng)描述模型3.2.1　編碼層次3.2.2　特征提取3.3　體系結(jié)構(gòu)探索3.3.1　模型評(píng)估3.4　體系結(jié)構(gòu)模型3.5　通信綜合3.6　通信模型3.7　后端處理3.8　最終實(shí)現(xiàn)模型3.9　小結(jié)和結(jié)論第4章　圖像壓縮解壓縮（JBIG）編碼器設(shè)計(jì)提綱4.1　簡(jiǎn)介4.1.1 JBIG結(jié)構(gòu)圖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　結(jié)果分析4.3.6　方案選擇4.4體系結(jié)構(gòu)模型4.5通信模型4.5.1　內(nèi)存一總線接口4.6 JBIG硬件設(shè)計(jì)4.6.1 JBIG硬件體系結(jié)構(gòu)4.7結(jié)論第5章　specC設(shè)計(jì)環(huán)境提綱5.1　簡(jiǎn)介5.1.1　系統(tǒng)驗(yàn)證5.1.2　SpecC覆蓋范圍5.1.3　SpecC設(shè)計(jì)方法學(xué)5.2細(xì)化5.2.1　用戶接口5.2.2　特征提取和性能評(píng)估5.2.3　交互式細(xì)化5.2.4　自動(dòng)細(xì)化5.2.5　驗(yàn)證5.3 SpecC　引擎5.3.1　細(xì)化引擎5.3.2　探索引擎5.3.3　綜合引擎5.4結(jié)論第6章　specc技術(shù)開放協(xié)會(huì)6.1　前言6.2　動(dòng)機(jī)6.2.1　設(shè)計(jì)能力的差距6.2.2　SpecC設(shè)計(jì)方法6.3 SpecC　技術(shù)開放協(xié)會(huì)6.3.1　目的6.3.2　歷史6.3.3　計(jì)劃6.3.4　成員索引

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

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

---