基于平臺(tái)的CTG SoC系統(tǒng)建模方法
引言
本文引用地址:http://m.butianyuan.cn/article/78988.htm基于平臺(tái)的設(shè)計(jì)PBD ( Platform-Based Design,簡(jiǎn)稱PBD)方法是最近幾年提出的SoC系統(tǒng)設(shè)計(jì)新方法,它延伸并發(fā)展了IP重用的設(shè)計(jì)理念,強(qiáng)調(diào)系統(tǒng)重用。其基本思想是為應(yīng)用領(lǐng)域定義通用的設(shè)計(jì)模板,在此設(shè)計(jì)模板中涵蓋了IP庫(kù)、接口互連、軟/硬件系統(tǒng)結(jié)構(gòu)等設(shè)計(jì)信息。系統(tǒng)建模是基于平臺(tái)的SoC系統(tǒng)設(shè)計(jì)中需要解決的首要問題。電子產(chǎn)品設(shè)計(jì)領(lǐng)域常見的、基本的系統(tǒng)模型有離散事件模]、有限狀態(tài)機(jī)模型、數(shù)據(jù)流/控制流模型、通信進(jìn)程模型與Petri網(wǎng)模型。這些模型各有特色,但它們用作基于平臺(tái)的SoC系統(tǒng)模型存在一些缺點(diǎn):
( 1) 只能描述功能,不能描述性能;
( 2) 粒度過細(xì)且不可變;
( 3)有的模型不支持系統(tǒng)原型代碼生成,因此難以進(jìn)行快速的系統(tǒng)仿真驗(yàn)證以及系統(tǒng)設(shè)計(jì)空間探索。
本文提出約束任務(wù)流圖CTG ( Constrained Taskflow Graph,簡(jiǎn)稱CTG)模型作為SoC系統(tǒng)模型,提出了基于平臺(tái)的CTG SoC 系統(tǒng)建模方法, 實(shí)現(xiàn)了SoC系統(tǒng)建模環(huán)境CPSME (CTG PBD SoCModeling Environme
nt,簡(jiǎn)稱CPSME) 。CTG模型采用任務(wù)逐步細(xì)化求精的思想實(shí)現(xiàn)層次描述能力以及任務(wù)粒度的可變性,并且定義子任務(wù)執(zhí)行控制機(jī)描述任務(wù)并行、分支與循環(huán)控制等。CTG模型為任務(wù)定義了運(yùn)行時(shí)間(速度) 、功耗、面積、成本等屬性,用以描述任務(wù)的性能約束。CTG模型將任務(wù)映射到實(shí)現(xiàn)算法,以描述任務(wù)功能。完成CTG模型中所有任務(wù)向算法的映射后,得到的算法流可快速生成系統(tǒng)原型代碼,用于系統(tǒng)仿真驗(yàn)證。提出的基于平臺(tái)的CTG SoC系統(tǒng)建模方法支持CTG模型庫(kù)管理以及CTG模型重用與定制,兼顧了系統(tǒng)模型的重用性與靈活性。
基于平臺(tái)的設(shè)計(jì)方法
在SoC系統(tǒng)軟硬件協(xié)同設(shè)計(jì)領(lǐng)域,平臺(tái)是關(guān)于虛擬組件(Virtual Component,又稱為虛部件)與體系結(jié)構(gòu)框架的庫(kù)。在平臺(tái)中包含一些可集成的并且預(yù)先驗(yàn)證的軟件IP與硬件IP塊、模型、EDA工具與軟件工具、庫(kù)以及通過體系結(jié)構(gòu)探索 /集成/驗(yàn)證來支持快速產(chǎn)品開發(fā)的方法學(xué)。基于平臺(tái)的設(shè)計(jì)方法是一種面向集成、強(qiáng)調(diào)系統(tǒng)級(jí)重用的SoC設(shè)計(jì)方法,可顯著降低SoC系統(tǒng)開發(fā)風(fēng)險(xiǎn)、代價(jià)與上市時(shí)間。
圖1給出了我們基于層次平臺(tái)的SoC系統(tǒng)設(shè)計(jì)方法Hi-PBD (Hierarchical PBD,簡(jiǎn)稱Hi-PBD) ,它將SoC系統(tǒng)設(shè)計(jì)分為系統(tǒng)模型層、虛部件層和實(shí)部件層,達(dá)到系統(tǒng)設(shè)計(jì)中功能與結(jié)構(gòu)分離、計(jì)算與通訊分離的目的。該方法通過設(shè)計(jì)規(guī)劃與虛實(shí)綜合完成三個(gè)設(shè)計(jì)層次之間的兩次映射。Hi-PBD方法不僅重用三個(gè)層次的設(shè)計(jì)模板,而且重用設(shè)計(jì)層次間兩次映射的結(jié)果,提高了重用效率。此外,Hi-PBD方法支持在三個(gè)層次修改相應(yīng)設(shè)計(jì)模板以增強(qiáng)設(shè)計(jì)靈活性,采用性能約束傳播機(jī)制確保最終設(shè)計(jì)目標(biāo)滿足性能要求。特別是SoC虛部件層的采用,使虛部件層作為SoC系統(tǒng)模型與實(shí)部件RTL描述之間的橋梁,可有效降低從SoC系統(tǒng)模型直接映射到實(shí)部件RTL描述的難度。
圖1 基于層次平臺(tái)的SoC系統(tǒng)設(shè)計(jì)方法
約束任務(wù)流圖模型
定義
(1) 任務(wù):任務(wù)是為達(dá)到某一特定目標(biāo)而指定的動(dòng)作序列,此動(dòng)作序列獲取輸入信息,引發(fā)任務(wù)內(nèi)部某些狀態(tài)的變化,并產(chǎn)生輸出信息。任務(wù)可以被劃分到硬件或軟件上實(shí)現(xiàn)??擅枋鰹椋篢ask = { InputSeq, ActionSeq, OutputSeq }
(2) 約束:這是一個(gè)包括時(shí)間、空間、功耗、面積、成本等代價(jià)的多元組。必須在所指定的代價(jià)范圍內(nèi)實(shí)現(xiàn)任務(wù),并以約束信息作為選擇任務(wù)軟硬件實(shí)現(xiàn)方式的依據(jù)。可描述為:Constraint = { TimeConstr, SpaceConstr, PowerConstr,AreaConstr, PriceConstr.}
(3) 約束任務(wù)流圖:約束任務(wù)流圖CTG (Constrained Taskflow Graph,簡(jiǎn)稱CTG)描述了任務(wù)間的層次關(guān)系與執(zhí)行關(guān)系。約束任務(wù)流圖中的每個(gè)任務(wù)都有約束限制,作為SoC系統(tǒng)設(shè)計(jì)規(guī)劃、軟硬件劃分、高層綜合與軟硬件協(xié)同仿真等過程中要求任務(wù)必須滿足的實(shí)現(xiàn)約束??擅枋鰹? CTG = { TaskTree, CommunSet, SubtaskFSMSet, ConstraintSet} 。
用CTG模型描述SoC系統(tǒng)任務(wù)
任務(wù)封裝
分別定義屬性視圖、約束視圖、算法視圖、細(xì)化視圖與子任務(wù)執(zhí)行控制機(jī)視圖,將所有與任務(wù)相關(guān)的設(shè)計(jì)信息封裝在一起。
任務(wù)細(xì)化
任務(wù)細(xì)化的思想就是對(duì)大而復(fù)雜的設(shè)計(jì)任務(wù)進(jìn)行逐步拆分,將難以在單個(gè)部件上完成的任務(wù)劃分為較小的子任務(wù),以有效降低任務(wù)實(shí)現(xiàn)難度。任務(wù)細(xì)化 可控制任務(wù)的粒度。在組織方式上,采用任務(wù)樹描述任務(wù)的細(xì)化過程。
子任務(wù)執(zhí)行控制機(jī)
子任務(wù)執(zhí)行控制機(jī)用來描述屬于相同父任務(wù)的子任務(wù)之間的控制執(zhí)行關(guān)系,從而方便地表達(dá)包括并發(fā)、分支轉(zhuǎn)移、循環(huán)(反饋)等在內(nèi)的多種任務(wù)調(diào)度方案。子任務(wù)執(zhí)行控制機(jī)可描述為:TaskFSM = { SubtaskSet,InitialTask,ConditionSet,TaskTransitionRuleSet} SubtaskSet描述了子任務(wù)執(zhí)行控制機(jī)中的所有任務(wù),InitialTask是第一個(gè)被執(zhí)行的任務(wù), ConditionSet是所有控制轉(zhuǎn)移條件的集合, TaskTransitionRuleSet描述了從一個(gè)子任務(wù)轉(zhuǎn)移到另一個(gè)子任務(wù)的轉(zhuǎn)移規(guī)則。TaskTransitionRuleSet可描述為: TaskTransitionRuleSet: SubtaskSet ×ConditionSet → subtaskSet 。
基于平臺(tái)的CTG SoC系統(tǒng)原型生成
我們用算法描述任務(wù)的功能(行為) ,并將一個(gè)應(yīng)用領(lǐng)域中的所有算法組織成領(lǐng)域算法庫(kù)。允許一個(gè)算法存在多種不同的實(shí)現(xiàn),不同的 算法實(shí)現(xiàn)在性能上不同。例如,有的算法實(shí)現(xiàn)方案具有較快的運(yùn)行速度,有的算法實(shí)現(xiàn)方案具有更低的存儲(chǔ)空間需求。
在生成SoC系統(tǒng)原型代碼之前,先將CTG任務(wù)流映射為算法流,映射過程如圖2所示。映射得到算法流之后,經(jīng)過對(duì)算法流的裝配、定義全局變量等過程,可生成所需的SoC系統(tǒng)原型代碼。
圖2 任務(wù)流到算法流的映射
基于平臺(tái)的CTG SoC系統(tǒng)建模與重用
圖3顯示了我們基于平臺(tái)的CTG SoC系統(tǒng)建模與重用方法,主要分為CTG模型庫(kù)管理與CTG模型重用。
圖3 基于平臺(tái)的CTG SoC系統(tǒng)建模與重用
在CTG模型庫(kù)中包含了不同SoC應(yīng)用領(lǐng)域的、經(jīng)過驗(yàn)證的基本CTG模型,這些模型在功能與性能約束上反映了相關(guān)領(lǐng)域的基本應(yīng)用需求。除了包括基本的數(shù)據(jù)庫(kù)管理功能外, CTG模型庫(kù)管理還表現(xiàn)在建立CTG領(lǐng)域模型( ①)以及后來進(jìn)行的CTG模型庫(kù)優(yōu)化( ⑤) 。
在 SoC系統(tǒng)建模時(shí),首先從CTG模型庫(kù)選取基本的CTG領(lǐng)域模型模板( ②) ;然后,根據(jù)SoC系統(tǒng)的特定功能、性能需求對(duì)所選CTG模板進(jìn)行定制( ③) ,得到面向特定SoC應(yīng)用需求的CTG模型。定制操作包括添加、刪除與修改任務(wù)的功能行為或性能約束,與完全重新建立SoC系統(tǒng)模型相比,其工作量要小得多。并且, CTG模型庫(kù)中的模型已經(jīng)過較充分的驗(yàn)證,因此僅僅需要對(duì)所得CTG模型中發(fā)生變化的部分進(jìn)行驗(yàn)證即可??梢姡谄脚_(tái)的CTG SoC系統(tǒng)建模與重用除了確保CTG模型的整體重用,還通過定制操作保證系統(tǒng)建模的靈活性。 如果在后來的應(yīng)用中發(fā)現(xiàn)所定制的CTG模型具有優(yōu)良的應(yīng)用效果,可以通過CTG模型庫(kù)優(yōu)化( ⑤)將新的模型加入CTG庫(kù)中,以利于以后重用。
需要指出的是, CTG模型庫(kù)中的各CTG模型不僅僅是前面定義的CTG模型本身,還包括了與此模型相關(guān)的、經(jīng)過驗(yàn)證的SoC系統(tǒng)性能約束分配、系統(tǒng)模型仿真驗(yàn)證等系統(tǒng)建模方法, CTG模型的重用也包括對(duì)這些系統(tǒng)建模方法的重用。
基于平臺(tái)的CTG SoC系統(tǒng)建模環(huán)境及應(yīng)用
SoC系統(tǒng)建模環(huán)境的結(jié)構(gòu)與功能
圖4是本文基于平臺(tái)的CTG SoC 系統(tǒng)建模環(huán)境(CPSME)結(jié)構(gòu)圖,分為CTG模型庫(kù)管理與CTG模型重用兩個(gè)部分。
圖4 CPSME結(jié)構(gòu)圖
CTG模型庫(kù)管理部分除提供基本的數(shù)據(jù)庫(kù)管理功能外( ⑦) ,主要是提供了根據(jù)SoC應(yīng)用領(lǐng)域的需求創(chuàng)建新CTG模型的支持( ①②③④⑤⑥) 。
在我們基于平臺(tái)的CTG SoC系統(tǒng)建模過程中,進(jìn)行SoC系統(tǒng)建模主要是進(jìn)行CTG模型的重用:首先,依據(jù)SoC系統(tǒng)需求分析( ⑧)結(jié)果,從CTG模型庫(kù)中選擇CTG模型模板( ⑨) ;然后,對(duì)所選CTG模型模板進(jìn)行定制( ⑩) ,以滿足特定應(yīng)用的功能與性能需求。
在CTG模型模板的定制中,除了對(duì)系統(tǒng)功能行為的定制,還支持對(duì)任務(wù)性能約束的定制。功能行為的定制主要通過任務(wù)的添加、刪除、編輯等實(shí)現(xiàn)。性能約束的定制在任務(wù)的基礎(chǔ)上進(jìn)行,可以對(duì)已有的性能約束信息進(jìn)行修改,實(shí)現(xiàn)SoC系統(tǒng)性能約束隨設(shè)計(jì)過程逐步傳播。
當(dāng)CTG模型庫(kù)中沒有所需的SoC領(lǐng)域CTG模型時(shí),就需要利用CTG模型庫(kù)管理部分的功能模塊為該領(lǐng)域創(chuàng)建基本的SoC CTG模型,并加入CTG模型庫(kù)中以供使用。
應(yīng)用實(shí)驗(yàn)
在CPSME下,我們分別對(duì)MP3播放器以及MPEG2播放器SoC進(jìn)行系統(tǒng)建模。實(shí)驗(yàn)表明,應(yīng)用本文建模方法通常只要對(duì)所選的CTG模型模板進(jìn)行10% ~25%的修改 。而且,由于所選的CTG模型模板已經(jīng)得到了充分的性能分配、功能驗(yàn)證等,使所得SoC系統(tǒng)模型在質(zhì)量上更有保證。
結(jié)束語
基于平臺(tái)的CTG SoC系統(tǒng)建模方法通過建立CTG模型庫(kù)支持CTG模型的重用,通過提供模型定制操作支持對(duì)CTG模型模板的修改以滿足特定的SoC系統(tǒng)功能與性能需求,從而使得在確保CTG模型整體重用的同時(shí)保持具體應(yīng)用的靈活性。CTG模型庫(kù)的建立與完備是基于平臺(tái)的CTGSoC系統(tǒng)建模的關(guān)鍵。
評(píng)論