FPGA系統之即時嵌入式軟體合成工具設計

Design of a Real-Time Embedded Software Synthesis Tool for FPGA Systems

邢弘霖(Hong-Lin Hsing)

指導教授 ： 李宗演

國立臺北科技大學/電資學院/電腦與通訊研究所/碩士(2007年)

摘要

在科技的不斷地創新及發展中，FPGA即時嵌入式軟體的應用越來越多樣化，隨著需求的不同與複雜性增加，使得FPGA即時嵌入式軟體的設計困難度越來越高，即時嵌入式軟體合成工具的發展是軟體開發時程中的重要關鍵，目前提供給FPGA系統發展用的硬體合成工具在市面上已經普遍，但在軟體部分合成工具的支援卻是相當匱乏，相較起來提供給FPGA系統的即時嵌入式軟體的發展即會隨之變得更加複雜以及耗時。本論文的研究重點在於提出一套處理在FPGA系統執行的即時嵌入式軟體的合成工具，使用一個由圖形化循環系統模型作為系統模型的描述，藉由我們設計的系統模型分析器，將系統模型做快速的路徑排程，利用路徑排程同時進行時間的估計，當系統模型分析結果符合系統規格後，利用我們設計的程式碼自動產生器產生在使用MicroBlaze 處理器的FPGA系統下執行的系統程式碼，為了驗證其功能性，我們提出了一套驗證程序以驗證此方法的正確性及功能。最後我們使用兩個例子來驗證本工具，一個為影像處理控制器，其功能為控制圖檔輸出功能，另一個為GPS衛星C/A碼產生器，其功能在於能夠產生太空中GPS衛星所使用的C/A碼信號，C/A碼在GPS系統中被用來識別GPS衛星編號。

關鍵字

軟體合成 ； 即時嵌入式軟體 ； 程式碼產生器 ； FPGA系統

並列摘要

In the development for science and technology, the application of FPGA real-time embedded software is more and more various. As the different requirements increasing, the real-time embedded software design for FPGA is much more complicated and difficult. The development of Real-time embedded software synthesis tool is an important key for improvement of software design procedure. In contrast of the hardware synthesis, the software synthesis is very deficient in market. Because of the programmable property for FPGA, many of hardware design constraints are reduced and improved. On the other hand, the real-time embedded software design is required for more complex design and wasting more time. We propose a real-time embedded software synthesis tool for FPGA systems. This tool uses the graphical circulating system model to describe the specification of design software. We design a model analyser to do path scheduling and time estimation. A code generator is designed to generate the software system code that can be executed in MicroBlaze processor system when system model passes the system specification. A verification procedure to prove the accuracy and capability of this software synthesis method is presented. Finally, we use two design examples to verify the correctness of our proposed tool. The first design example is to generate program code for image processing controller to control picture file output and the second design example is a GPS satellite C/A code generator to generate the C/A code of GPS satellites. C/A code can be used to recognize GPS satellite number in GPS system.

並列關鍵字

software synthesis ； real-time embedded system ； code generator ； FPGA

參考文獻

[2]. Xilinx: The Programmable Logic Company, http://www.xilinx.com/

[4]. P. Gupta, “Hardware-software codesign”, in Proceedings of IEEE Potentials, vol. 20, issue 5, pp. 31-32, Dec 2001.

[5]. W. Wolf, “A decade of hardware/software codesign,” in Proceedings of IEEE Computer, vol. 36, issue 4, pp. 38-43, April 2003.

[6]. P. A. Hsiung, “Formal synthesis and code generation of embedded real-time software,” in Proceedings of ACM/IEEE International Symposium on Hardware Software Co-design, pp. 208-213, April 2001.

[7]. P. A. Hsiung, T. Y. Lee, and F. S. Su, “Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling,” in Proceedings of Asia-Pacific Software Engineering Conference, pp. 395-404, Dec. 2002.