Please use this identifier to cite or link to this item:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/33298
Title: | 以設計分析與驗證為目的之暫存器轉移層快速合成法 Quick RTL Synthesis for Design Analysis and Verification |
Authors: | Chun-Fu Huang 黃俊輔 |
Advisor: | 黃鐘揚(Chung-Yang Huang) |
Keyword: | 邏輯合成,設計分析, logic synthesis,design analysis, |
Publication Year : | 2006 |
Degree: | 碩士 |
Abstract: | In this thesis, we proposed a quick register transfer level(RTL) front end for design analysis and verification. Our front end consists of three parts: (1) an RTL parser that supports most of the synthesizable Verilog subset and various library formats; (2) an elaborating process that generates control data flow graph(CDFG) and can be used for design intent extraction and (3) a logic synthesizer that translates the design into a word-level netlist and writes out a structural Verilog file. We have been able to read in several designs from other design teams and have verified the correctness of our front end by the Cadence Conformal Logic Equivalence Checker(LEC). With the word-level data structure and high-level design intent extraction at hand, we will be able to conduct more research on the design debugging and verification in the future. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/33298 |
Fulltext Rights: | 有償授權 |
Appears in Collections: | 電機工程學系 |
Files in This Item:
File | Size | Format | |
---|---|---|---|
ntu-95-1.pdf Restricted Access | 1.26 MB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.