透過您的圖書館登入
IP:13.59.36.203
  • 學位論文

基於SoC軟硬體共同設計與驗證之虛擬平台上的Linux作業系統支援實作

Linux OS Support on Virtual Platform for SoC HW/SW Co-Design and Verification

指導教授 : 黃鐘揚

摘要


本篇論文中,我們成功地將嵌入式作業系統uCLinux移植到本實驗室自行開發的虛擬平台QuteVP上執行。針對此作業系統我們在QuteVP上面進行了必要的虛擬模組建置,例如增強的傳輸階層模組(TLM)系統匯流排、向量中斷控制器以及計時器等;另外,在模擬效能上,我們也針對指令模擬(ISS)階層的中央處理單元(CPU),QuteCore,進行運作核心改寫、修正例外處理程序、增加內部記憶體以及指令快取記憶體以達到嵌入式作業系統運行的需求。除此之外,因應QuteVP虛擬平台,我們調整了uCLinux內部與硬體相關的控制程序,而為了達到移植的目的,我們也針對虛擬輸出的部分撰寫了驅動程式讓uCLinux系統核心可以控制系統訊息的輸出。我們的模擬結果顯示uCLinux在QuteVP上面的開機時間僅需47秒即可完成,這樣的效能對本實驗室的虛擬平台在未來進行其他嵌入式作業系統進行開發時將有極大的幫助,並且藉由uCLinux系統核心的支援,得以讓其他嵌入式應用的研究可以有更加便利的平台,在軟硬體共同驗證的課題上也可以有更加緊密的結合。

關鍵字

QuteVP uCLinux SystemC ESL TLM ARM

並列摘要


In this thesis, we present our porting of an embedded operation system (OS), uCLinux, to a virtual platform developed from our lab, the Qute Virtual Platform (QuteVP). To equip the virtual platform for the OS porting, we constructed several essential virtual modules, such as enhanced TLM bus, vector interrupt controller and timer modules. In addition, we modified the processor model of QuteVP, QuteCore, to elevate the simulation performance. Our modifications include the re-modeling of the CPU operation engine, revision of the exception handling process, implementation of the internal SRAM, and creation of the instruction cache to fulfill the execution requirement of the embedded OS. On the other hand, in the software side of uClinux, we also adjusted its hardware-related controlling procedure to satisfy the architecture of QuteVP. With the implementations of the required software drivers and the virtual display module, the uCLinux kernel can output the system message in the booting process. The simulation result shows that the booting time of uCLinux takes only 47 seconds. With such performance, we can easily conduct more researches on embedded system development. Moreover, with the full Linux API supports of uCLinux, we can conduct more application researches on varied embedded systems. In short, our porting of OS on SoC virtual platform has opened the door for the exploration of the challenging hardware/software co-verification problems.

並列關鍵字

QuteVP uCLinux SystemC ESL TLM ARM

參考文獻


[2] Doug Abbott, Linux for Embedded and Real-time Applications, Newnes, 2003
[6] SystemC Language Reference Manual (LRM): http://www.systemc.org/
[8] PrimeCell Vectored Interrupt Controller (PL190) Technical Reference Manual, ARM, DDI0181E, 2000, 2003-2004
[1] Hsing-Chih Hung, A Virtual Platform for System-on-Chip Design and Verification, Master Thesis, June 2007, page 8-24
[3] Embedded Linux/Microcontroller Project (uCLinux): http://www.uclinux.org/ 1998-2009

延伸閱讀