博碩士論文 92521007 詳細資訊




以作者查詢圖書館館藏 以作者查詢臺灣博碩士 以作者查詢全國書目 勘誤回報 、線上人數:79 、訪客IP:18.117.232.198
姓名 鄭偉翔(Wei-Hsiang Cheng)  查詢紙本館藏   畢業系所 電機工程學系
論文名稱 一個應用於硬體偵錯的取樣資料縮減方法
(On Reducing Storage Data in the Snapshot Method for Hardware Debugging)
相關論文
★ 運算放大器之自動化設計流程及行為模型研究★ 高速序列傳輸之量測技術
★ 使用低增益寬頻率調整範圍壓控震盪器 之1.25-GHz八相位鎖相迴路★ 類神經網路應用於高階功率模型之研究
★ 使用SystemC語言建立IEEE 802.3 MAC 行為模組之研究★ 以回填法建立鎖相迴路之行為模型的研究
★ 高速傳輸連結網路的分析和模擬★ 一個以取樣方式提供可程式化邏輯陣列功能除錯所需之完全觀察度的方法
★ 抑制同步切換雜訊之高速傳輸器★ 以行為模型建立鎖相迴路之非理想現象的研究
★ 遞迴式類神經網路應用於序向電路之高階功率模型的研究★ 用於命題驗証方式的除錯協助技術之研究
★ Verilog-A語言的涵蓋率量測之研究★ 利用類神經模型來估計電源線的電流波形之研究
★ 5.2GHz CMOS射頻接收器前端電路設計★ 適用於OC-192收發機之頻率合成器和時脈與資料回復電路
檔案 [Endnote RIS 格式]    [Bibtex 格式]    [相關文章]   [文章引用]   [完整記錄]   [館藏目錄]   [檢視]  [下載]
  1. 本電子論文使用權限為同意立即開放。
  2. 已達開放權限電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。
  3. 請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。

摘要(中) 隨著半導體技術以及SOC ( System-On-Chip ) 的發展,設計電路工作的複雜度亦隨之提升,因此對於設計電路驗證 ( verification ) 的工作也越來越受到重視,而邏輯模擬器 ( logic simulator ) 仍然是目前最廣泛地使用的驗證工具。在驗證過程中,它們給予使用者有完全的觀察度 ( observability )與控制性 ( controllability ),但是若需要用龐大的輸入測試訊號 ( test bench ) 時,則整體的模擬速度將會大大地降低,導致必須浪費冗長的驗證時間。因此,在模擬速度與驗證成本的考量因素下,往往會採用類似仿真器 ( Emulator ) 的現場可程式化閘陣列( Field Programmable Gate Array , FPGA )來完成驗證工作。然而,FPGA在對於驗證工作上完全的觀察度 ( observability ) 卻相當的低,如此造成了功能偵錯上的不便。
因而我們的學長提出了一種以取樣的方式來改善上述的這些問題。對於此方法的主要想法,在整個模擬的過程中,它會記錄FPGA內部的行為,然後對於我們所想要觀察偵錯的波形區段,則將會在邏輯模擬器上重新播放模擬結果。如此我們大部份的模擬過程都花費在FPGA上,故使用者不但得到高速的好處,而且對於電路的完全觀察度及控制性則可在軟體的邏輯模擬器上獲得。
在本篇論文中,我們針對於這個方法更進一步地加以改善,在紀錄FPGA內部訊號,我們不再需要紀錄內部所有的節點訊號,而是依據一個抓取的準則來決定哪些節點才是我們必要抓取的,因此我們又可以降低所需要記錄的資料量,以提升硬體資源使用的效率。最後我們由實驗結果證實,我們所提之方法的效率。
關鍵字(中) ★ 現場可程式化閘陣列 關鍵字(英) ★ Snapshot method
★ FPGA
論文目次 第1章 序論 1
1.1 研究動機 1
1.2 論文組織 7
第2章 相關的背景與知識 8
2.1 序論 8
2.2 目前應用於FPGA上的驗證工具 8
2.2.1 具有 ”回讀” ( Readback ) 能力的FPGA 9
2.2.2 基於Scan Chain架構而設定觀測點的技術 10
2.2.3 Altera公司的Signal Tap II技術 12
2.2.4 Xilinx公司的Chip Scope Pro技術 15
2.2.5 總結 18
2.3 一個提供FPGA擁有完全觀察度的取樣方式 18
2.4 總結 22
第3章 取樣方法之資料縮減的分析與探討 23
3.1 序論 23
3.2 “ 取樣方法 ” 之應用問題 23
3.3 內部節點的分佈種類之分析 26
3.3.1 非迴授電路 27
3.3.2 迴授電路 29
3.4 “點”( POINT )與線”線”( LINE )的理論 30
3.5 迴授電路之內部暫存器的分類 32
3.6 單一集團迴授電路之取點規則 34
3.6.1 重疊性暫存器之選取規則 35
3.6.2 重疊性暫存器之舉例 36
3.6.3 非重疊性暫存器之選取規則 37
3.6.4 非重疊性暫存器之舉例 39
3.7 多組集團迴授電路之取點規則 41
3.8 修改後的取樣方法架構 43
3.8.2 取樣架構 43
3.8.3 抓取控制訊號產生器 44
3.8.4 重建波形部分 47
3.9 總結 48
第4章 實驗結果與分析 49
4.1 序論 49
4.2 實現環境所應用到的工具 49
4.3 取樣方式的實現流程 53
4.4 資料縮減後之比較 60
4.5 實驗結果 64
4.6 總結 65
第5章 結論 66
參考文獻 67
參考文獻 [1] Cadence Design System Corporation., Palladium Data sheet, http://www.cadence.com/datasheets/4510C_IncisivePalladium_fnl.pdf
[2] Mentor Graphics Corporation, Vstation Pro Emulator, http://www.mentor.com/vstation/vstation_pro.html
[3] IEEE, Standard 1149.1a, IEEE standard Test Access Port and Boundary-Scan Architecture, revised, 1993.
[4] Altera Corporation, Signal Tap II Embedded Logic Analyzer, http://www.altera.com/products/software/pld/design/verification/signaltap2
/sig-index.html
[5] Xilinx Corporation, Chip Scope On Chip Debug Integrated Logic Analyzer, http://www.xilinx.com/ise/verification/chipscope_pro_glance2.htm
[6] Anurag Tiwari, Karen A. Tomko, “Scan-chain Based Watch-points for Efficient Run-Time Debugging and Verification of FPGA Designs”, ASPDAC, 2003.
[7] Joshua Marantz, “Enhanced Visibility and Performance in Functional Verification by Reconstruction”, Proc. DAC’98, San Francisco, CA
[8] ITC’99 test suite, Electric CAD & Reliability Group, http://www.cad.polito.it/tools/#bench
[9] Temento Corporation, DiaLite Instrumentation for Verification on FPGAs, http://www.temento.com/solutions/fpga.php
[10] Michael L. Bushnell and Vishwani D. Agrawal, “Essentials of Electronic Testing”, Kluwer Academic Publishers, 2000.
[11] Xilinx Corporation, Readback Function, XAPP138 : Virtex Configuration and Readback, http://www.xilinx.com/ipcenter/catalog/search/reference
/xapp138_virtex_configuration_and_readback.htm
[12] Agilent Technologies, Trace Port Analyzer for On Chip Design Verification With Xilinx FPGAs, http://cp.literature.agilent.com/litweb/pdf/5988-9434EN.pdf
[13] Altera Corporation, Quartus ⅡDesign Software for Altera FPGAs, http://www.altera.com/literature/manual/intro_to_quartus2.pdf
[14] Model Technology Corporation, ModelSim 5.5 e, Simulation Software, http://www.model.com/products/se.asp
[15] Altera Corporation, Nios Development Board_APEX Edition, http://www.altera.com/literature/ds/ds_nios_board_apex_20k200e.pdf
[16] Altera Corporation, ByteBlasterMV Parallel Port Download Cable, http://www.altera.com/literature/ds/dsbytemv.pdf
[17] Integrated Device Technology, Data Sheet of 3.3 V CMOS Asynchronous SRAM, http://www1.idt.com/pcms/tempDocs/71V016_DS_6428.pdf
[18] Flottes, M. L., Pires, R., Rouzeyre, B., Volpe, L., “Scanning Datapaths: A Fast and Effective Partial Scan Selection Technique”, Design, Automation and Test in Europe, 1998.
[19] Mukherjee, D., Pedram, M., Breuer, M., “Control Strategies for Chip-based DFT/BIST Hardware”, Test Conference, 1994.
[20] Chih-Chang Lin, Marek-Sadowska, M., Lee, M. T.-C., Kuang-Chien Chen, “Cost-free Scan: A Low Overhead Scan Path Design”, Computer-Aided Design of Integrated Circuits and Systems”, 1998.
[21] Verisity Corporation, Xcite Simulation Acceleration platform, http://www.verisity.com/products/xcite.html
[22] Dong Jung Lu, “ A Snapshot Method to Provide Full Visibility for Functional Debugging Using FPGA ”, Master of Science in Electrical Engineering in the graduate division of the National Central University, June 2004.
[23] Chien-Nan Jimmy Liu, I-Ling Chen, and Jing-Yang Jou, " An Efficient Design-for-Verification Technique for HDLs ", ACM/IEEE Asia and South Pacific Design Automation Conference (EI), pp. 103-108, January 2001.
[24] Chien-Nan Jimmy Liu, " A Design-for-Verification Technique for Reducing Debugging Efforts in HDL ", the Eleventh Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI 2003), pp. 33-38, April 2003.
指導教授 劉建男(Chien-Nan Liu) 審核日期 2005-7-21
推文 facebook   plurk   twitter   funp   google   live   udn   HD   myshare   reddit   netvibes   friend   youpush   delicious   baidu   
網路書籤 Google bookmarks   del.icio.us   hemidemi   myshare   

若有論文相關問題,請聯絡國立中央大學圖書館推廣服務組 TEL:(03)422-7151轉57407,或E-mail聯絡  - 隱私權政策聲明