Please use this identifier to cite or link to this item:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/55979
Full metadata record
???org.dspace.app.webui.jsptag.ItemTag.dcfield??? | Value | Language |
---|---|---|
dc.contributor.advisor | 黃鐘揚(Chung-Yang Huang) | |
dc.contributor.author | Mao-Kai Huang | en |
dc.contributor.author | 黃茂凱 | zh_TW |
dc.date.accessioned | 2021-06-16T05:12:10Z | - |
dc.date.available | 2015-09-03 | |
dc.date.copyright | 2014-09-03 | |
dc.date.issued | 2014 | |
dc.date.submitted | 2014-08-18 | |
dc.identifier.citation | [1] R. Hojati and R. K. Brayton, “Automatic Datapath Abstraction In Hardware Systems,” In Computer-Aided Verification (CAV ‘95), pp. 98-113, 1995.
[2] K. Namjoshi and R. Kurshan, “Syntactic Program Transformations for Automatic Abstraction,” In Computer-Aided Verification (CAV ‘00), pp. 435-449, 2000. [3] P-H. Ho, A. J. Isles, and T. Kam, “Formal Verification of Pipeline Control Using Controlled Token Nets and Abstract Interpretation,” In ACM-IEEE International Conference on Computer-Aided Design (ICCAD ‘98), pp. 529-536, 1998. [4] Z. S. Andraus, M. H. Liffiton, and K. A. Sakallah, “Refinement Strategies for Verification Methods Based on Datapath Abstraction,” In Asia South Pacific Design Automation (ASP-DAC ‘06), pp. 19-24, 2006. [5] Z. S. Andraus, and K. A. Sakallah, “Automatic Abstraction and Verification of Verilog Models,” In Design Automation Conference (DAC ‘04), pp. 218-223, 2004. [6] V. Ciubotariu, “Automatic Datapath Abstraction of Pipelined Circuits,” PhD thesis, Computer Science, University of Waterloo, 2011. [7] H. Agrawal and J. R. Horgan, “Control flow analysis,” In Proceedings of SIGPLAN Symposium on Compiler Construction, pp. 1-19, 1970. [8] F. E. Allen, “Dynamic program slicing,” In Proceedings of SIGPLAN Symposium on Compiler Construction, pp. 246-256, 1990. [9] J. Hopcroft, R. MOTWANI, and J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979. [10] W. Buchholz, Planning a Computer System: Project Stretch, McGraw-Hill, 1962. [11] H. Kleine-B‥uning and T. Lettman, Propositional Logic: Deduction and Algorithm, Cambridge University Press, 1999. [12] P. Chauhan, D. Goyal, G. Hasteer, A. Mathur, and N. Sharma,“Non-Cycle-Accurate Sequential Equivalence Checking,” In Design Automation Conference (DAC ‘09), pp. 460-465, 2009. [13] Berkeley Logic Synthesis and Verification Group, University of California, Berkeley, “ABC: A System for Sequential Synthesis and Verification,” www.eecs.berkeley.edu/~alanmi/abc. [14] IC Design Contest: http://icdc.ee.ncu.edu.tw/ | |
dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/55979 | - |
dc.description.abstract | 在利用事件驅動的方法來進行模擬的時候,管道設計中的同步控制電路反而是拖慢模擬速度的信號。因此,設計去管道化的技術在簡化管道設計中的控制電路中扮演著很重要的角色。然而,為了特定的規格或性質而實作的控制圖,控制圖上時常發生狀態爆炸。因此,這樣的技術並不適合驗證超純量暫存器轉移層次設計。這裡有各種方式去解決狀態爆炸的問題,例如分解和抽象化技術都是可行的解決方案。以抽象化技術而言,將具體的路徑映射到抽象路徑可以有效減少狀態的數量。因此,我們提出了一個設計去管道化的抽象化技術,這樣的技術將會自動產生一個網表,然後設計者就可以在這個網表上模擬電路運作。雖然,這個網表的輸出量和原本的管道化設計不同,但我們確保這兩個設計的模擬輸出結果將會是相同的。為了提高模擬的效率,我們的演算法尋找有限狀態機與使用抽象化技術。根據實驗結果,這樣的演算法能有效的提高模擬速度於管道化設計。與迴圈展開的技術做比較,我們的模擬時間將會大幅降低。 | zh_TW |
dc.description.abstract | 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. | en |
dc.description.provenance | Made available in DSpace on 2021-06-16T05:12:10Z (GMT). No. of bitstreams: 1 ntu-103-R01943137-1.pdf: 2729120 bytes, checksum: 33820217ddf0c977a8d80ac371418295 (MD5) Previous issue date: 2014 | en |
dc.description.tableofcontents | 誌謝 i
中文摘要 i ABSTRACT iii CONTENTS iv LIST OF FIGURES vi LIST OF TABLES viii Chapter 1 Introduction 1 1.1 Related Works 2 1.2 Contributions of the Thesis 3 1.3 Organization of the Thesis 4 Chapter 2 Preliminaries 5 2.1 Control Flow Graph 5 2.2 Finite-state Machine 6 2.3 Pipelined Design 6 2.4 Boolean Satisfiability 7 Chapter 3 Main Algorithm 8 3.1 Pipeline Control Flow Graph Extraction 9 3.2 Cared Control Signal Candidates Search 11 3.3 Dependency Graph Construction 13 3.4 State Reduction - FSM Extraction 15 3.5 Pipeline Control Flow Graph Construction 16 Chapter 4 Code Generation 19 4.1 Pipeline Control Flow Graph Abstraction 21 4.2 Datapath Generation 23 4.3 Control Logic Generation 26 4.4 Interface Implementation 28 4.5 Design Simplification 29 Chapter 5 Implementation Issues 31 Chapter 6 Experimental Results 32 6.1 Case Study - Arithmetic Pipelined Design 33 6.2 Arithmetic Pipelined Design on Pipeline Depth 43 6.3 The Comparison on Pattern Diversity 46 6.4 Design Simplification Analysis 49 Chapter 7 Conclusions and Future Works 50 REFERENCE 51 | |
dc.language.iso | en | |
dc.title | 設計去管道化之抽象化技術 | zh_TW |
dc.title | Abstraction Techniques for Design Depipelining | en |
dc.type | Thesis | |
dc.date.schoolyear | 102-2 | |
dc.description.degree | 碩士 | |
dc.contributor.oralexamcommittee | 李建模(Chien-Mo Li),洪士灝(Shih-Hao Hung),陳正堅,王敏書 | |
dc.subject.keyword | 抽象化技術,去管道化,模擬,驗證, | zh_TW |
dc.subject.keyword | Abstraction Techniques,Depipelining,Simulation,Verification, | en |
dc.relation.page | 52 | |
dc.rights.note | 有償授權 | |
dc.date.accepted | 2014-08-19 | |
dc.contributor.author-college | 電機資訊學院 | zh_TW |
dc.contributor.author-dept | 電子工程學研究所 | zh_TW |
Appears in Collections: | 電子工程學研究所 |
Files in This Item:
File | Size | Format | |
---|---|---|---|
ntu-103-1.pdf Restricted Access | 2.67 MB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.