請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/55979
標題: | 設計去管道化之抽象化技術 Abstraction Techniques for Design Depipelining |
作者: | Mao-Kai Huang 黃茂凱 |
指導教授: | 黃鐘揚(Chung-Yang Huang) |
關鍵字: | 抽象化技術,去管道化,模擬,驗證, Abstraction Techniques,Depipelining,Simulation,Verification, |
出版年 : | 2014 |
學位: | 碩士 |
摘要: | 在利用事件驅動的方法來進行模擬的時候,管道設計中的同步控制電路反而是拖慢模擬速度的信號。因此,設計去管道化的技術在簡化管道設計中的控制電路中扮演著很重要的角色。然而,為了特定的規格或性質而實作的控制圖,控制圖上時常發生狀態爆炸。因此,這樣的技術並不適合驗證超純量暫存器轉移層次設計。這裡有各種方式去解決狀態爆炸的問題,例如分解和抽象化技術都是可行的解決方案。以抽象化技術而言,將具體的路徑映射到抽象路徑可以有效減少狀態的數量。因此,我們提出了一個設計去管道化的抽象化技術,這樣的技術將會自動產生一個網表,然後設計者就可以在這個網表上模擬電路運作。雖然,這個網表的輸出量和原本的管道化設計不同,但我們確保這兩個設計的模擬輸出結果將會是相同的。為了提高模擬的效率,我們的演算法尋找有限狀態機與使用抽象化技術。根據實驗結果,這樣的演算法能有效的提高模擬速度於管道化設計。與迴圈展開的技術做比較,我們的模擬時間將會大幅降低。 For simulation-based verification, control circuits for synchronization in pipelined design are tedious, especially for the event-driven simulation. Therefore, depipelining technique plays an important role in the control logic simplification of pipelined design. However, it would cause state explosion due to the need of formulating the implementation with respect to a certain specification or property. Consequently, it is not scalable for current superscalar RTL design. To conquer these problems, the techniques utilizing various strategies such as decomposition and abstraction might be the solutions. The abstraction technique that maps concrete paths to abstract ones attempts to reduce the number of states. Therefore, we propose a design depipelining algorithm which computes approximate abstraction of pipelined design. Moreover, a netlist will be generated in our approach. Although the throughput of the netlist is different from the original design, we ensure that the simulation outputs of these two designs are identical. In addition, to enhance the efficiency, finite-state machine extraction and abstraction techniques are applied to our work. The experimental results show that our algorithm is effective in increasing simulation-speed of pipelined design. When compared to the loop-unrolling technique, the simulation of our work is much faster. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/55979 |
全文授權: | 有償授權 |
顯示於系所單位: | 電子工程學研究所 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-103-1.pdf 目前未授權公開取用 | 2.67 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。