嵌入式系統(tǒng)設(shè)計方法

1、 嵌入式系統(tǒng)設(shè)計方法 嵌入式系統(tǒng)嵌入式系統(tǒng) 主要內(nèi)容主要內(nèi)容嵌入式系統(tǒng)面臨的挑戰(zhàn)嵌入式系統(tǒng)面臨的挑戰(zhàn)嵌入式系統(tǒng)的設(shè)計嵌入式系統(tǒng)的設(shè)計嵌入式系統(tǒng)軟硬件協(xié)同設(shè)計嵌入式系統(tǒng)軟硬件協(xié)同設(shè)計嵌入式系統(tǒng)節(jié)能設(shè)計嵌入式系統(tǒng)節(jié)能設(shè)計CC1991（92個主領(lǐng)域）個主領(lǐng)域） CC2001（14個主領(lǐng)域）個主領(lǐng)域） 離散數(shù)學(xué)（預(yù)備知識）離散結(jié)構(gòu)（DS）程序設(shè)計語言引論程序設(shè)計基礎(chǔ)（程序設(shè)計基礎(chǔ)（PF）算法與數(shù)據(jù)結(jié)構(gòu)算法與復(fù)雜性（算法與復(fù)雜性（AL）計算機(jī)系統(tǒng)結(jié)構(gòu)系統(tǒng)結(jié)構(gòu)（系統(tǒng)結(jié)構(gòu)（AR）操作系統(tǒng)操作系統(tǒng)（操作系統(tǒng)（OS）網(wǎng)絡(luò)計算（網(wǎng)絡(luò)計算（NC）程序設(shè)計語言程序設(shè)計語言（程序設(shè)計語言（PL）人機(jī)通信人機(jī)交互（HC）

2、圖形學(xué)和可視化計算（GV）人工智能與機(jī)器人學(xué)智能系統(tǒng)（IS）數(shù)據(jù)庫與信息檢索信息管理（IM）軟件方法學(xué)與工程軟件工程（軟件工程（SE）社會、道德和職業(yè)的問題社會和職業(yè)的問題（SP）數(shù)值與符號計算科學(xué)計算（SC）IEEE/ACM 課程大綱關(guān)于計算機(jī)學(xué)科主領(lǐng)域的劃分課程大綱關(guān)于計算機(jī)學(xué)科主領(lǐng)域的劃分嵌入式系統(tǒng)嵌入式系統(tǒng)嵌入式系統(tǒng): 以應(yīng)用為中心，以計算機(jī)技術(shù)為基礎(chǔ)，以應(yīng)用為中心，以計算機(jī)技術(shù)為基礎(chǔ)，軟件硬件可裁剪，適應(yīng)應(yīng)用系統(tǒng)對功能、可軟件硬件可裁剪，適應(yīng)應(yīng)用系統(tǒng)對功能、可靠性、成本、體積、功耗諸方面嚴(yán)格要求的靠性、成本、體積、功耗諸方面嚴(yán)格要求的專用計算機(jī)系統(tǒng)。專用計算機(jī)系統(tǒng)。嵌入式系統(tǒng)特點嵌入

3、式系統(tǒng)特點嵌入式系統(tǒng)特點：嵌入式系統(tǒng)特點： 軟件硬件協(xié)同并行開發(fā)軟件硬件協(xié)同并行開發(fā) 多種多樣的微處理器多種多樣的微處理器 實時操作系統(tǒng)的多樣性實時操作系統(tǒng)的多樣性 (RTOS)(RTOS) 與臺式機(jī)相比，可利用系統(tǒng)資源不足與臺式機(jī)相比，可利用系統(tǒng)資源不足 應(yīng)用支持很少應(yīng)用支持很少 要求特殊的開發(fā)工具要求特殊的開發(fā)工具 調(diào)試很困難調(diào)試很困難 軟件硬件的魯棒性（健壯性，軟件硬件的魯棒性（健壯性，RobustRobust）嵌入式系統(tǒng)要解決的主要問題嵌入式系統(tǒng)要解決的主要問題 需要用什么樣的系統(tǒng)結(jié)構(gòu)來實現(xiàn)？需要用什么樣的系統(tǒng)結(jié)構(gòu)來實現(xiàn)？ 如何滿足時限要求，如何處理多項功能在時間上的協(xié)如何滿足時限要求

4、，如何處理多項功能在時間上的協(xié)調(diào)一致關(guān)系？調(diào)一致關(guān)系？如何保證系統(tǒng)可靠地工作？如何保證系統(tǒng)可靠地工作？如何滿足系統(tǒng)接口要求，嵌入式應(yīng)用直接和系統(tǒng)接口如何滿足系統(tǒng)接口要求，嵌入式應(yīng)用直接和系統(tǒng)接口輸入輸出信息？輸入輸出信息？如何降低系統(tǒng)的功耗？如何降低系統(tǒng)的功耗？ 如何使系統(tǒng)可升級？如何使系統(tǒng)可升級？ 嵌入式系統(tǒng)設(shè)計的挑戰(zhàn)性問題嵌入式系統(tǒng)設(shè)計的挑戰(zhàn)性問題 軟硬件協(xié)同設(shè)計軟硬件協(xié)同設(shè)計 功耗的優(yōu)化設(shè)計功耗的優(yōu)化設(shè)計嵌入式操作系統(tǒng)嵌入式操作系統(tǒng)開發(fā)環(huán)境開發(fā)環(huán)境 成本和開發(fā)周期成本和開發(fā)周期代碼優(yōu)化代碼優(yōu)化 高效的輸入和輸出高效的輸入和輸出測試環(huán)境測試環(huán)境 嵌入式系統(tǒng)軟件技術(shù)面臨的幾大問題嵌入式系統(tǒng)軟

5、件技術(shù)面臨的幾大問題嵌入式軟件全生命周期開發(fā)工具鏈嵌入式軟件全生命周期開發(fā)工具鏈硬件與軟件的硬件與軟件的Co-Design: Verilog + C = ?Co-Design: Verilog + C = ?驅(qū)動程序的設(shè)計和生成技術(shù)（嵌入式軟件開發(fā)中驅(qū)動程序的設(shè)計和生成技術(shù)（嵌入式軟件開發(fā)中最令人頭疼的問題）最令人頭疼的問題）嵌入式軟件的可靠性問題嵌入式軟件的可靠性問題: : 正確性驗證技術(shù)、測正確性驗證技術(shù)、測試技術(shù)、調(diào)試技術(shù)等（可靠性問題是嵌入式軟件試技術(shù)、調(diào)試技術(shù)等（可靠性問題是嵌入式軟件開發(fā)的基本問題）開發(fā)的基本問題）可重構(gòu)計算（可重構(gòu)計算（Reconfigurable Computi

6、ngReconfigurable Computing）技術(shù)）技術(shù)可構(gòu)件化的嵌入式實時操作系統(tǒng)及其開發(fā)環(huán)境可構(gòu)件化的嵌入式實時操作系統(tǒng)及其開發(fā)環(huán)境問題問題：功 能 、 性能要求價 格 、 開發(fā) 周 期 等約束設(shè)計：設(shè)計： 選擇 折衷 分析比較 計算 評價嵌入式系統(tǒng)嵌入式系統(tǒng)嵌入式系統(tǒng)的設(shè)計嵌入式系統(tǒng)的設(shè)計方法方法工具工具設(shè)計流程設(shè)計流程自頂向下或自底向上設(shè)計自頂向下或自底向上設(shè)計需求需求設(shè)計說明設(shè)計說明體系結(jié)構(gòu)體系結(jié)構(gòu)構(gòu)件設(shè)計構(gòu)件設(shè)計系統(tǒng)集成系統(tǒng)集成自頂向下設(shè)計自底向上設(shè)計需求分析作用作用使用戶和設(shè)計者有效交流、溝通，明確設(shè)計目標(biāo)使用戶和設(shè)計者有效交流、溝通，明確設(shè)計目標(biāo)設(shè)計者設(shè)計者 設(shè)計什么？

7、有哪些要求？設(shè)計什么？有哪些要求？用戶用戶 將得到的系統(tǒng)是什么樣的？將得到的系統(tǒng)是什么樣的？目標(biāo)目標(biāo)形成需求文檔形成需求文檔內(nèi)容內(nèi)容功能性需求功能性需求 做什么？做什么？輸入輸入, ,輸出輸出, ,功能，功能，非功能性需求非功能性需求 其他屬性其他屬性可靠性，速度，功耗，可靠性，速度，功耗，成本成本, ,大小大小, ,重量重量, ,設(shè)計時間，設(shè)計時間， 評價標(biāo)準(zhǔn)正確性無二義性完整性可檢驗性一致性可修改性可追蹤性需求分析的描述自然語言需求說明書需求分析表形式化描述用例圖等DOORS例：GPS移動地圖的需求 規(guī)格說明規(guī)格說明與需求的比較需求的提煉是可用來創(chuàng)建體系結(jié)構(gòu)的關(guān)于系統(tǒng)的更詳盡、更精確、更一

8、致的描述目標(biāo)形成規(guī)格說明書內(nèi)容包含系統(tǒng)體系結(jié)構(gòu)設(shè)計的足夠信息規(guī)格說明書的描述自然語言形式化描述UMLRSMLSDL規(guī)格規(guī)格說明說明需求的精確描述需求的精確描述 描述明確，可理解描述明確，可理解 UML (Unified Modeling Language) UML (Unified Modeling Language) 統(tǒng)一建模語言是可視化的設(shè)計說明語言統(tǒng)一建模語言是可視化的設(shè)計說明語言統(tǒng)一描述系統(tǒng)的硬件和軟件統(tǒng)一描述系統(tǒng)的硬件和軟件 UML UML 可對系統(tǒng)的功能建模可對系統(tǒng)的功能建模 可自動產(chǎn)生實際設(shè)計的可自動產(chǎn)生實際設(shè)計的HDL HDL 或或C+ C+ 代碼代碼UML的應(yīng)用的應(yīng)用I-Lo

9、gix公司的Rhapsody系列產(chǎn)品基于統(tǒng)一建模語言UML的可視化編程環(huán)境把UML各類視圖映射為具體目標(biāo)機(jī)程序語言用于復(fù)雜實時嵌入式應(yīng)用軟件從分析、設(shè)計一直到代碼實現(xiàn)和軟件測試的開發(fā)過程N(yùn)ASA的火星探路者航天器就是運(yùn)用Rhapsody在VxWorks上開發(fā)應(yīng)用程序。系統(tǒng)結(jié)構(gòu)設(shè)計系統(tǒng)結(jié)構(gòu)設(shè)計 系統(tǒng)如何實現(xiàn)設(shè)計說明書描述的功能系統(tǒng)如何實現(xiàn)設(shè)計說明書描述的功能 基于組件的系統(tǒng)結(jié)構(gòu)基于組件的系統(tǒng)結(jié)構(gòu) 軟件軟件/硬件劃分硬件劃分 嵌入式系統(tǒng)中軟件和硬件協(xié)同完成系統(tǒng)的嵌入式系統(tǒng)中軟件和硬件協(xié)同完成系統(tǒng)的功能功能軟件硬件劃分通常由速度、靈活性以及開銷軟件硬件劃分通常由速度、靈活性以及開銷來決策來決策硬件硬

10、件單片機(jī)單片機(jī), X86, PowerPC, ARM, MIPS,板級支持程序板級支持程序嵌入式操作系統(tǒng)嵌入式操作系統(tǒng)應(yīng)用軟件應(yīng)用軟件監(jiān)控程序監(jiān)控程序嵌入式計算機(jī)系統(tǒng)基本結(jié)構(gòu)嵌入式計算機(jī)系統(tǒng)基本結(jié)構(gòu)嵌入式系統(tǒng)組成嵌入式系統(tǒng)組成系統(tǒng)結(jié)構(gòu)設(shè)計系統(tǒng)結(jié)構(gòu)設(shè)計系統(tǒng)結(jié)構(gòu)設(shè)計作用實現(xiàn)系統(tǒng)的藍(lán)圖，系統(tǒng)整體結(jié)構(gòu)的一個計劃目標(biāo)形成結(jié)構(gòu)設(shè)計文檔內(nèi)容系統(tǒng)分析系統(tǒng)軟硬件整體結(jié)構(gòu)的設(shè)計軟硬件劃分標(biāo)準(zhǔn)構(gòu)件和自行設(shè)計構(gòu)件的確定 評價標(biāo)準(zhǔn)有彈性簡單可實現(xiàn)層次清晰功能分布平衡平衡技術(shù)和經(jīng)濟(jì)約束滿足功能需求和非功能需求可重用系統(tǒng)結(jié)構(gòu)的描述非形式化方式自然語言結(jié)構(gòu)框圖形式化方法UML建模系統(tǒng)結(jié)構(gòu)的設(shè)計過程及方法結(jié)構(gòu)化設(shè)計方法 以算法

11、為中心，從處理到處理的數(shù)據(jù)流從輸入、輸出入手，根據(jù)操作和數(shù)據(jù)流，形成比較粗的系統(tǒng)大框架；然后逐步細(xì)化框架內(nèi)的每個部分，進(jìn)一步確定內(nèi)部模塊的及模塊之間的關(guān)系設(shè)計過程應(yīng)該是逐步細(xì)化和逐步完善的過程面向?qū)ο蟮姆椒?以類及交互模式為中心系統(tǒng)軟件結(jié)構(gòu)的設(shè)計結(jié)構(gòu)化方法(SA/SD)面向?qū)ο蟮姆椒?OOA/OOD)UML建模結(jié)構(gòu)設(shè)計的驗證結(jié)構(gòu)設(shè)計的正確性非常關(guān)鍵詳細(xì)設(shè)計和實現(xiàn)的基礎(chǔ)，對開發(fā)周期、成本有很大影響驗證所關(guān)心的問題結(jié)構(gòu)設(shè)計是否滿足功能、性能要求能否實現(xiàn)驗證方法形式化方法仿真系統(tǒng)結(jié)構(gòu)軟件結(jié)構(gòu)硬件結(jié)構(gòu)其他方法如基于開發(fā)板的原型系統(tǒng)系統(tǒng)引入錯誤和修改錯誤開銷分布系統(tǒng)引入錯誤和修改錯誤開銷分布引入錯誤數(shù)目

12、引入錯誤數(shù)目修改錯誤開銷修改錯誤開銷開發(fā)周期系統(tǒng)結(jié)構(gòu)設(shè)計軟硬件詳細(xì)設(shè)計軟硬件實現(xiàn)軟硬件的劃分 嵌入式系統(tǒng)的設(shè)計涉及硬件與軟件部件，設(shè)計中必須決定什么功能由硬件實現(xiàn)，什么功能由軟件實現(xiàn)。硬件和軟件具有雙重性軟硬件變動對系統(tǒng)的決策造成影響劃分和選擇需要考慮多種因素硬件和軟件的雙重性是劃分決策的前提通常由軟件實現(xiàn)的部分操作系統(tǒng)功能任務(wù)調(diào)度資源管理設(shè)備驅(qū)動協(xié)議棧TCPIP應(yīng)用軟件框架除基本系統(tǒng)、物理接口、基本邏輯電路，許多由硬件實現(xiàn)的功能都可以由軟件實現(xiàn)。雙重性部分算法加密解密編碼解碼壓縮解壓數(shù)學(xué)運(yùn)算浮點運(yùn)算， FFT， 標(biāo)準(zhǔn)構(gòu)件和自行設(shè)計構(gòu)件 構(gòu)件的實現(xiàn)選擇標(biāo)準(zhǔn)自行設(shè)計標(biāo)準(zhǔn)構(gòu)件 ？現(xiàn)成構(gòu)件已經(jīng)產(chǎn)品化

13、形成規(guī)模生產(chǎn)標(biāo)準(zhǔn)構(gòu)件 自行設(shè)計構(gòu)件 用戶系統(tǒng)構(gòu)件包括了硬件構(gòu)件和軟件構(gòu)件構(gòu)件本身可以是層次性的，可以由子構(gòu)件組成標(biāo)準(zhǔn)硬構(gòu)件硬構(gòu)件的形式：硬構(gòu)件的形式：IC：集成電路：集成電路PCB：印刷電路板：印刷電路板IP：Intellectual Property標(biāo)準(zhǔn) IC CPU, DSP, RAM, ROM, 接口控制器，ASIC,標(biāo)準(zhǔn) IP CPU核，標(biāo)準(zhǔn)模塊GPRS模塊,GSM模塊,藍(lán)牙模塊, 顯示模塊，標(biāo)準(zhǔn)計算平臺基于PC104的嵌入式計算機(jī)基于Compact PCI的嵌入式計算機(jī)SOC,標(biāo)準(zhǔn)軟構(gòu)件OS / RTOS協(xié)議棧TCP/IP路由協(xié)議H.323圖形開發(fā)包VxWorks的ZINK驅(qū)動程序自

14、研硬構(gòu)件內(nèi)容邏輯電路，專用加速器，實現(xiàn)方式PCB： IC：PLD FPGA ASIC,EDA設(shè)計工具板級： 原理圖設(shè)計工具PCB設(shè)計工具IC硬件描述語言: VHDL,Verilog原理圖描述工具綜合仿真工具布線器, 自研軟構(gòu)件BSP驅(qū)動程序應(yīng)用程序 軟硬件技術(shù)對系統(tǒng)結(jié)構(gòu)的影響硬軟件設(shè)計的趨勢融合、滲透硬件設(shè)計的軟件化VHDL, VerilogHANDL-C軟件實現(xiàn)的硬件化各種算法的ASIC對系統(tǒng)設(shè)計的影響協(xié)同設(shè)計增加靈活性增加了風(fēng)險嵌入式系統(tǒng)設(shè)計者要求嵌入式系統(tǒng)設(shè)計者要求 懂得系統(tǒng)的整個構(gòu)架懂得系統(tǒng)的整個構(gòu)架 詳細(xì)了解硬件的細(xì)節(jié)詳細(xì)了解硬件的細(xì)節(jié) 軟件設(shè)計滿足：軟件設(shè)計滿足： 實時要求實時要求

15、 低功耗低功耗 代碼量小代碼量小 詳細(xì)了解領(lǐng)域知識詳細(xì)了解領(lǐng)域知識嵌入式系統(tǒng)軟硬件協(xié)同設(shè)計嵌入式系統(tǒng)軟硬件協(xié)同設(shè)計 軟硬件協(xié)同設(shè)計軟硬件協(xié)同設(shè)計軟硬件協(xié)同設(shè)計軟硬件協(xié)同設(shè)計硬件設(shè)計工具（EDA工具）系統(tǒng)級設(shè)計工具系統(tǒng)級設(shè)計工具Cadence的的SPWSystem View模擬電路系統(tǒng)仿真工具模擬電路系統(tǒng)仿真工具PspiceEWBPCB設(shè)計工具設(shè)計工具ProtelPADs 的的Power PCB & Tool KitMentor的的Expedition & Tool Kit可編程邏輯器件設(shè)計工具可編程邏輯器件設(shè)計工具M(jìn)entor FPGA Advantage & Mode

16、lSimXilinx Foundation ISE & Tool Kit各種綜合和仿真第三方工具各種綜合和仿真第三方工具軟硬件協(xié)同設(shè)計定義與主要概念軟硬件協(xié)同設(shè)計定義與主要概念軟硬件協(xié)同設(shè)計定義The meeting of system-level objectives by exploiting the trade-offs between hardware and software in a system through their concurrent design主要概念Concurrent（并發(fā)）（并發(fā)）: hardware and software developed at

17、 the same time on parallel pathsIntegrated（一體化）（一體化）: interaction between hardware and software developments to produce designs that meet performance criteria and functional specifications嵌入式系統(tǒng)嵌入式系統(tǒng)快速原型快速原型設(shè)計過程設(shè)計過程SYSTEMDEF.SWDESIGNVIRTUAL PROTOTYPEREUSE DESIGN LIBRARIES AND DATABASEPrimarilysoftwar

18、ePrimarilyhardwareSWCODEFUNCTIONDESIGNHW & SWPART.HWDESIGNHWFABINTEG.& TESTHW & SW CODESIGNHW & SW Partitioning & Codesign嵌入式系統(tǒng)快速原型開發(fā)的基本要素嵌入式系統(tǒng)快速原型開發(fā)的基本要素系統(tǒng)定義（需求分析）系統(tǒng)定義（需求分析）軟硬件劃分軟硬件劃分結(jié)構(gòu)規(guī)劃結(jié)構(gòu)規(guī)劃 處理器類型處理器類型, 軟硬件之間的接口類型軟硬件之間的接口類型, 等等.劃分目的劃分目的 滿足系統(tǒng)速度滿足系統(tǒng)速度,延遲延遲, 體積體積,成本等方面的要求成本等方面的要求.

19、劃分策略劃分策略 - high level partitioning by hand, automated partitioning using various techniques, etc.調(diào)度調(diào)度Operation scheduling in hardwareInstruction scheduling in compilersProcess scheduling in operating systems軟硬件設(shè)計過程中的建模軟硬件設(shè)計過程中的建模傳統(tǒng)的嵌入式系統(tǒng)設(shè)計模型傳統(tǒng)的嵌入式系統(tǒng)設(shè)計模型SystemSystemConceptsConceptsSys/HWSys/HWRequire

20、.Require.AnalysisAnalysisSys/SWSys/SWRequire.Require.AnalysisAnalysisOperation.Operation.Testing and Testing and Eval.Eval.SoftwareSoftwareRequire.Require.AnalysisAnalysisPrelim.Prelim.DesignDesignDetailedDetailedDesignDesignCoding,Coding,Unit test.,Unit test.,Integ. testInteg. testSW DevelopmentSW

21、DevelopmentHWCIHWCITestingTestingCSCICSCITestingTestingSystemSystemInteg. and Integ. and testtestHardwareHardwareRequire.Require.AnalysisAnalysisPrelim.Prelim.DesignDesignDetailedDetailedDesignDesignFabric.Fabric.HW DevelopmentHW DevelopmentDOD-STD-2167A傳統(tǒng)的嵌入式系統(tǒng)設(shè)計過程傳統(tǒng)的嵌入式系統(tǒng)設(shè)計過程傳統(tǒng)軟硬件設(shè)計過程的基本特征傳統(tǒng)軟硬件設(shè)計過

22、程的基本特征:系統(tǒng)在一開始就被劃分為軟件和硬件兩大部分系統(tǒng)在一開始就被劃分為軟件和硬件兩大部分軟件和硬件獨立進(jìn)行開發(fā)設(shè)計軟件和硬件獨立進(jìn)行開發(fā)設(shè)計“Hardware first” approach often adopted隱含的一些問題隱含的一些問題:軟硬件之間的交互受到很大限制軟硬件之間的交互受到很大限制軟硬件之間的相互性能影響很難評估軟硬件之間的相互性能影響很難評估系統(tǒng)集成相對滯后，系統(tǒng)集成相對滯后，NRE較大較大因此因此:Poor quality designs（設(shè)計質(zhì)量差）（設(shè)計質(zhì)量差）Costly modifications（設(shè)計修改難）（設(shè)計修改難）Schedule slippa

23、ges（研制周期不能有效保障）（研制周期不能有效保障）傳統(tǒng)設(shè)計過程中的尖銳矛盾隨著設(shè)計復(fù)雜程度的提高，軟硬件設(shè)計中隨著設(shè)計復(fù)雜程度的提高，軟硬件設(shè)計中的一些錯誤將使開發(fā)過程付出昂貴的代價的一些錯誤將使開發(fā)過程付出昂貴的代價 “Hardware first” approach often compounds（混合） software cost because software must compensate for（補(bǔ)償） hardware inadequacies（不充分）軟硬件設(shè)計過程發(fā)展方向協(xié)同設(shè)計軟硬件設(shè)計過程發(fā)展方向協(xié)同設(shè)計SystemSystemConceptsConceptsSys

24、/HWSys/HWRequire.Require.AnalysisAnalysisSys/SWSys/SWRequire.Require.AnalysisAnalysisHardwareHardwareRequire.Require.AnalysisAnalysisSoftwareSoftwareRequire.Require.AnalysisAnalysisOperation.Operation.Testing and Testing and EvaluationEvaluationSW DevelopmentSW DevelopmentHW DevelopmentHW Developmen

25、tSystemSystemInteg. and Integ. and testtestHWCIHWCITestingTestingCSCICSCITestingTestingFranke91Integrated Modeling SubstrateIntegrated Modeling Substrate（一體化建模底層）（一體化建模底層）Prelim.Prelim.DesignDesignPrelim.Prelim.DesignDesignDetailedDetailedDesignDesignDetailedDetailedDesignDesignFabric.Fabric.Coding,

26、Coding,Unit test.,Unit test.,Integ. testInteg. test IEEE 1991嵌入式軟件的開發(fā)過程（瀑布模型）嵌入式軟件的開發(fā)過程（瀑布模型）Requirement AnalysisSoftware DesignCodingTestingRelease軟硬件協(xié)同設(shè)計的基本需求軟硬件協(xié)同設(shè)計的基本需求統(tǒng)一的軟硬件描述方式軟硬件支持統(tǒng)一的設(shè)計和分析工具（技術(shù)）允許在一個集成環(huán)境中仿真（評估）系統(tǒng)軟硬件設(shè)計支持系統(tǒng)任務(wù)在軟件和硬件設(shè)計之間的相互移植交互式軟硬件劃分技術(shù)允許多個不同的軟硬件劃分設(shè)計進(jìn)行仿真和比較輔助最優(yōu)系統(tǒng)實現(xiàn)方式?jīng)Q策將軟硬件劃分應(yīng)用到模塊設(shè)

27、計，以便最佳地實現(xiàn)系統(tǒng)的設(shè)計指標(biāo)。Partitioning applied to modules to best meet design criteria (功能和性能目標(biāo))軟硬件協(xié)同設(shè)計的基本需求軟硬件協(xié)同設(shè)計的基本需求 (續(xù)續(xù))完整的軟硬件模型基礎(chǔ)支持在設(shè)計過程中的幾個階段的綜合評價支持軟硬件逐步的開發(fā)和集成正確的驗證方法確保系統(tǒng)設(shè)計達(dá)到的目標(biāo)要求典型的軟硬件協(xié)同設(shè)計過程典型的軟硬件協(xié)同設(shè)計過程 SystemIntegrationInstruction set levelHW/SW evaluationUnified representation(Data/control flow) HW

28、/SWPartitioning Interface Synthesis Software SynthesisSWHardware SynthesisHW System Description(Functional)Concurrent processesProgramming languages FSM-directed graphs Another HW/SWpartition經(jīng)典的軟硬件協(xié)同設(shè)計方法經(jīng)典的軟硬件協(xié)同設(shè)計方法Analysis of Constraintsand RequirementsSystem Specs.HW/SWPartitioningHardware Descrip

29、t.Software Descript.HW Synth. andConfigurationInterface SynthesisSoftware Gen.& ParameterizationConfigurationModulesHardwareComponentsHW/SWInterfacesSoftwareModulesHW/SW Integrationand CosimulationIntegratedSystemSystem EvaluationDesign VerificationRozenblit94 IEEE 1994軟硬件協(xié)同設(shè)計的優(yōu)勢軟硬件協(xié)同設(shè)計的優(yōu)勢在設(shè)計初始階

30、段就可進(jìn)行軟硬件交互設(shè)計和調(diào)整Provides continual verification throughout the design cycle（貫穿整個設(shè)計周期）Separate HW/SW development paths（開發(fā)路線） can lead to costly modifications and schedule slippages（導(dǎo)致代價昂貴的糾錯成本和開發(fā)進(jìn)度的下降）關(guān)鍵技術(shù)（如可編程邏輯綜合技術(shù)、器件接口和功能模型描述）的進(jìn)步使得軟硬件交互設(shè)計變得簡單起來軟硬件協(xié)同設(shè)計技術(shù)的現(xiàn)狀軟硬件協(xié)同設(shè)計技術(shù)的現(xiàn)狀主要問題:缺乏標(biāo)準(zhǔn)化的表示方法缺乏好的驗證和評價方法可能的解決

31、方案:擴(kuò)展已有的硬件/軟件語言工具并應(yīng)用到不同種類情況擴(kuò)展形式驗證技術(shù)并應(yīng)用到硬件/軟件領(lǐng)域基于FPGA的嵌入式系統(tǒng)設(shè)計SOPC設(shè)計軟硬件協(xié)同設(shè)計基本步驟軟硬件協(xié)同設(shè)計基本步驟HW-SW system involvesSpecification（設(shè)計描述）（設(shè)計描述）modeling （設(shè)計建模）（設(shè)計建模）design space exploration and partitioningsynthesis and optimization（綜合與優(yōu)化）Validation（設(shè)計驗證）（設(shè)計驗證）implementation （設(shè)計實現(xiàn)）（設(shè)計實現(xiàn)）軟硬件協(xié)同設(shè)計基本步驟軟硬件協(xié)同設(shè)計基本步驟

32、Specification（設(shè)計描述）List the functions of a system that describe the behavior of an abstraction clearly with out ambiguity.Modeling（設(shè)計建模）Process of conceptualizing and refining the specifications, and producing a hardware and software model.軟硬件協(xié)同設(shè)計基本步驟軟硬件協(xié)同設(shè)計基本步驟Validation:Process of achieving a reas

33、onable level of confidence（置信度） that the system will work as designed.Takes different flavors per application domain（根據(jù)應(yīng)用領(lǐng)域而不同）: cosimulation for performance and correctness（性能與功能的協(xié)同仿真）軟硬件協(xié)同設(shè)計基本步驟軟硬件協(xié)同設(shè)計基本步驟Implementation:Physical realization of the hardware (through synthesis) and of executable sof

34、tware (through compilation).協(xié)同設(shè)計中的軟硬件劃分與調(diào)度協(xié)同設(shè)計中的軟硬件劃分與調(diào)度 (where and when)A hardware/software partitioning represents a physical partition of system functionality into application-specific hardware and software.Scheduling is to assign an execution start time to each task in a set, where tasks are link