利用聲明驗證方法協助硬體除錯之研究; On Assertion-Based Verification for Hardware Debugging

NCUIR > College of Electrical Engineering & Computer Science > Graduate Institute of Electrical Engineering > Electronic Thesis & Dissertation > Item 987654321/9861

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/9861

Title:	利用聲明驗證方法協助硬體除錯之研究;On Assertion-Based Verification for Hardware Debugging
Authors:	蔡宗智;Tsung-Chih Tsai
Contributors:	電機工程研究所
Keywords:	硬體;驗證;聲明;verification;assertion;hardware
Date:	2005-07-05
Issue Date:	2009-09-22 11:58:10 (UTC+8)
Publisher:	國立中央大學圖書館
Abstract:	目前的設計已經越來越龐大，功能性驗證相對的也比起以前更顯的重要。而如何使用更有效的驗證方法，使得驗證可以變的更有效率，已經變成了一件刻不容緩的事。聲明被應用在軟體上已經行之有年，並且一般被認為是最有效率的除錯技巧之一。近年來這個觀念慢慢的被引用到硬體描述語言上，來加快硬體描述語言的除錯速度。但是由於測試檔案越來越龐大，單純的只使用軟體來模擬，就顯的非常耗費時間且不切實際。FPGA是改善模擬時間太長的一種選擇。但是FPGA並沒有辦法提供在除錯技巧上的高可觀性。因此如果我們可以綜合聲明與FPGA各別的優點，這樣就可以提供一個最好的除錯模式。因此我們提出了我們的想法：將聲明直接合成在FPGA中，進而達到模擬時間縮短和高可觀性的優點。而這就達成了我們的最終目的：縮短驗證時間。
Appears in Collections:	[Graduate Institute of Electrical Engineering] Electronic Thesis & Dissertation

Files in This Item:

File	Size	Format

社群 sharing