利用原始碼時間註解產生快速精準的交易層級計算模型

A Source-Level Timing Annotation for Fast and Accurate TLM Computation Model Generation

林凱立(Kai-Li Lin)

指導教授 ： 蔡仁松

國立清華大學/電機資訊學院/資訊工程學系/碩士(2009年)

摘要

這篇論文提出了一個在原始碼內加入時間註解的方法，用來產生時脈數精準的交易系統層級軟體模型。當交易層級模型被廣泛應用在系統模擬以及模擬速度的改進，時間的準確度通常被忽略了。為了在系統層級得到一個可靠且準確的預測結果，我們提出了一個時間註解的方法，用來產生時脈術準確的交易系統層級模型，這個方法考慮了許多難以預測時間的部分，包含了處理器管線以及快取記憶體的部分。準確的交易系統模型幫助設計者在設計的前期做出正確的選擇。

關鍵字

交易系統層級

參考文獻

[2] F. Stappert, “Prediction Pipeline and Cache Behavior of Hard Real-Time Programs,” in Proc. of the Workshop on Real-Time Systems, pp.80-86, 1997

[3] G. Schirner, A. Gerstlauer, and R. Domer, “Abstract, Multifaceted Modeling of Embedded Processors for System Level Design,” in Proc. of the conf. on Asia and South Pacific Design Automation Conference, pp. 384-389, 2007

[4] R. Ernst, and W. Ye, “Embedded program timing analysis based on path clustering and architecture classification,” in Proc. of the International Conference on Computer Aided Design, pp. 598-604, 1997

[5] P. Puschner, and C. Koza, “Calculating the Maximum Execution Time of Real-Time Programs,” in Proc. of the Journal of Real-Time Systems, pp. 159-176, Vol. 1, Number 2, 1989

[6] T. Mitra, A. Roychoudhury, and X. Li, " Timing analysis of embedded software for speculative processors," in Proc. of the International Symposium on Systems Synthesis, pp. 126-131, 2002