以設計分析與驗證為目的之暫存器轉移層快速合成法

Quick RTL Synthesis for Design Analysis and Verification

黃俊輔(Chun-Fu Huang)

指導教授 ： 黃鐘揚

國立臺灣大學/電機資訊學院/電機工程學研究所/碩士(2006年)

https://doi.org/10.6342/NTU.2006.01198

摘要

無資料

關鍵字

邏輯合成 ； 設計分析

並列摘要

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.

並列關鍵字

logic synthesis ； design analysis

參考文獻

[1] B. Bailey and D. Gajski. RTL semantics and methodology. In International

Symposium on Syntems Synthesis, pages 69–74, 2001.

[2] Douglas J. Smith. HDL Chip Design. Doone Publications, 1996.

[3] E. McCluskey. Minimization of Boolean Functions. In The Bell Syntem Technical

[4] Giovanni De Micheli. Synthesis and Optimization of Digital Circuits. McGraw-