【摘要】：隨著集成電路工藝的高速發(fā)展,單塊集成電路上的晶體管數(shù)目越來越多,更多地以復(fù)雜的片上系統(tǒng)(SoC)形式出現(xiàn)。集成電路設(shè)計也從原來的寄存器傳輸級(RTL)轉(zhuǎn)向系統(tǒng)級(ESL),由此系統(tǒng)級設(shè)計語言也適時而生。這是一種有能力在多個設(shè)計抽象級上描述電子系統(tǒng)的語言,從它的形成來看,它們來自于①對經(jīng)典的硬件描述語言的擴(kuò)展,②對通用串行語言的擴(kuò)展,③一種完全全新的設(shè)計。它們的出現(xiàn)和發(fā)展極大提高了設(shè)計人員的生產(chǎn)力。在這三種分類中,其中來自對通用串行語言C/C++擴(kuò)展的SystemC廣受關(guān)注,已經(jīng)成為事實上的標(biāo)準(zhǔn)。 由于面向硬件設(shè)計的系統(tǒng)級語言和通用語言為基礎(chǔ)軟件技術(shù)的獨立發(fā)展,使得它們無法吸收軟件技術(shù)發(fā)展的最新成果,這在一定程度上限制了設(shè)計人員的開發(fā)效率。其中近年來逐漸發(fā)展并流行的動態(tài)語言(如Python)已經(jīng)被廣泛地使用在各種大型項目中,并且取得了驕人的戰(zhàn)績。軟件巨頭微軟公司也在他們的軟件升級中加入各種動態(tài)性能的支持,如C#的新版本和IronPython的建立。使用這些新興的軟件技術(shù)極大地縮短了產(chǎn)品開發(fā)的周期,然而如何把這些優(yōu)勢擴(kuò)展到系統(tǒng)級設(shè)計是一個極富挑戰(zhàn)性的課題。源于此,本文以流行的動態(tài)語言Python為基礎(chǔ),在這方面做有益的探索和嘗試。主要的工作如下: (1)提出新式的動態(tài)系統(tǒng)設(shè)計的定義和由此而生的新流程。動態(tài)系統(tǒng)描述定義為可動態(tài)修改的狀態(tài)描述集合。它是貫穿本文的核心概念,系統(tǒng)設(shè)計實現(xiàn)的三階段(描述、驗證和綜合)都建立在此基礎(chǔ)之上。它區(qū)別于傳統(tǒng)的建立在各種設(shè)計文件為基礎(chǔ)的靜態(tài)系統(tǒng)描述概念。 利用流行的Python動態(tài)語言,我們設(shè)計了動態(tài)系統(tǒng)級設(shè)計語言PDSL(Python based Dynamic System Language),用戶可以通過它完成基于動態(tài)系統(tǒng)描述的整個流程。 (2)設(shè)計并實現(xiàn)PDSL中的的動態(tài)描述方式和對應(yīng)的描述要素。用戶可利用PDSL中各種描述要素(如模塊,數(shù)據(jù),過程等)構(gòu)建一個動態(tài)系統(tǒng),并且提供各種機(jī)制能夠以程序方式動態(tài)添加、刪除和修改系統(tǒng)的結(jié)構(gòu)和行為。 (3)設(shè)計并實現(xiàn)了PDSL中動態(tài)系統(tǒng)的驗證。這一部分首先定義了仿真時間的概念,并基于此設(shè)計和實現(xiàn)了一個離散事件驅(qū)動型系統(tǒng)仿真內(nèi)核。另外,這一部分還定義了動態(tài)系統(tǒng)驗證中的持久化管理,包括序列化和反序列化。 (4)設(shè)計并實現(xiàn)了PDSL中動態(tài)系統(tǒng)的綜合。綜合是把動態(tài)系統(tǒng)的即時映像轉(zhuǎn)變成可以被業(yè)界接受的硬件描述語言描述。這其中包含數(shù)據(jù)的匹配,子模塊的識別和轉(zhuǎn)化,以及過程中Python字節(jié)碼的復(fù)雜分析和轉(zhuǎn)換。 (5)設(shè)計并實現(xiàn)了基于自然建模的高級綜合系統(tǒng)Trilobite。自然建模指的是一種貼近設(shè)計者認(rèn)知理解結(jié)構(gòu)的建模方式,它的理念是把大量的復(fù)雜性轉(zhuǎn)移并隱藏于系統(tǒng)工具庫內(nèi)部�；谶@個理念,我們設(shè)計并實現(xiàn)了一個使用PDSL的高級綜合系統(tǒng)。它創(chuàng)建了一個框架,能夠按需要擴(kuò)展各種細(xì)化、翻譯和優(yōu)化步驟把用戶的高級描述轉(zhuǎn)化到最終的硬件描述。 總的來說,這里包含兩個項目:PDSL(包含工作點1-4)和在此基礎(chǔ)上的Trilobite(包含工作點5),前者面向貼近硬件的低級設(shè)計,后者針對高級建模的描述和綜合。最后論文闡述了使用動態(tài)語言Python、Trilobite和PDSL完成的溫度補(bǔ)償時鐘模塊的設(shè)計、驗證和生成的整個過程。除了這個非處理器的實例,論文闡述了簡單CPU的設(shè)計、驗證和生成以及JAVA處理器的部分設(shè)計結(jié)果。 使用Python、Trilobite和PDSL的動態(tài)系統(tǒng)級設(shè)計催生了若干系統(tǒng)設(shè)計方法的改進(jìn),能極大地提高開發(fā)人員開發(fā)效率,適應(yīng)于更高級別的電子自動化設(shè)計。
【學(xué)位授予單位】：復(fù)旦大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2009
【分類號】：TP302.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 陳建業(yè);;OrCAD/PSPICE在電力電子電路計算機(jī)輔助設(shè)計中的應(yīng)用(Ⅱ) 第二講 電力電子器件的PSPIOE仿真(上)[J];電源世界;2001年07期

2 ;讀書新語[J];新財經(jīng);2011年08期

3 ;書架[J];浙江經(jīng)濟(jì);2011年15期

4 張良辰;;制作模擬數(shù)據(jù)的數(shù)字化描述[J];軟件;2010年07期

5 夏妍;;基于擴(kuò)展顏色Petri網(wǎng)的Web服務(wù)組合建模及應(yīng)用[J];電腦知識與技術(shù);2011年21期

6 衛(wèi)宇輝;;數(shù)字出版的元數(shù)據(jù)標(biāo)準(zhǔn)概況[J];全國新書目;2011年09期

7 ;《世界是開放的》[J];現(xiàn)代教育技術(shù);2011年08期

8 李維;;Web服務(wù)及其通訊協(xié)議[J];現(xiàn)代閱讀(教育版);2011年10期

9 ;開卷[J];中國藥店;2011年07期

10 聞立民;;一種基于統(tǒng)一建模語言的系統(tǒng)測試方法[J];科技傳播;2011年15期

相關(guān)會議論文 前7條

1 焦明鈺;羅城;宋武;呂云飛;劉海峰;李金楓;黃芳;曹艷艷;;淺談彩色棉花色澤界定描述[A];中國棉花學(xué)會2008年年會論文匯編[C];2008年

2 裘進(jìn)浩;邊義祥;季宏麗;SEBALD Gael;GUYOMAR Daniel;;壓電纖維的共振分析及其在性能測試中的應(yīng)用[A];慶祝中國力學(xué)學(xué)會成立50周年暨中國力學(xué)學(xué)會學(xué)術(shù)大會’2007論文摘要集（下）[C];2007年

3 韓瑞峰;;《小鎮(zhèn)畸人》的和諧之美——敘述視野中的小說建構(gòu)[A];福建省外國語文學(xué)會2005年年會暨學(xué)術(shù)研討會論文集[C];2005年

4 龍作義;李雪;逄宏揚(yáng);李紅莉;楊燕超;;平榛種質(zhì)資源性狀的描述與評價研究[A];第二屆中國林業(yè)學(xué)術(shù)大會——S9 木本糧油產(chǎn)業(yè)化論文集[C];2009年

5 王建濤;;空間數(shù)據(jù)元數(shù)據(jù)管理與檢索系統(tǒng)的構(gòu)建[A];第四屆海峽兩岸GIS發(fā)展研討會暨中國GIS協(xié)會第十屆年會論文集[C];2006年

6 楊莉萍;;我們究竟為什么研究心理學(xué)?[A];第十一屆全國心理學(xué)學(xué)術(shù)會議論文摘要集[C];2007年

7 張澤偉;孫柏平;俞建根;高展;李建華;馬良龍;;73例大動脈調(diào)轉(zhuǎn)術(shù)非典型冠狀動脈解剖類型分析[A];2009年浙江省胸心外科學(xué)學(xué)術(shù)年會論文匯編[C];2009年

相關(guān)重要報紙文章 前10條

1 歐陽中石;讓書法藝術(shù)把我們的生活描述得更美[N];北京日報;2000年

2 羅崗;《帝國》：對全球化的另類描述[N];文匯報;2001年

3 李炳銀;歷史記憶的文學(xué)描述[N];解放軍報;2001年

4 本報記者 陶曉U

本文編號：2749054