| DC 欄位 |
值 |
語言 |
| DC.contributor | 電機工程學系 | zh_TW |
| DC.creator | 蔡宗智 | zh_TW |
| DC.creator | Tsung-Chih Tsai | en_US |
| dc.date.accessioned | 2005-7-21T07:39:07Z | |
| dc.date.available | 2005-7-21T07:39:07Z | |
| dc.date.issued | 2005 | |
| dc.identifier.uri | http://ir.lib.ncu.edu.tw:444/thesis/view_etd.asp?URN=92521023 | |
| dc.contributor.department | 電機工程學系 | zh_TW |
| DC.description | 國立中央大學 | zh_TW |
| DC.description | National Central University | en_US |
| dc.description.abstract | 目前的設計已經越來越龐大，功能性驗證相對的也比起以前更顯的重要。而如何使用更有效的驗證方法，使得驗證可以變的更有效率，已經變成了一件刻不容緩的事。
聲明被應用在軟體上已經行之有年，並且一般被認為是最有效率的除錯技巧之一。近年來這個觀念慢慢的被引用到硬體描述語言上，來加快硬體描述語言的除錯速度。但是由於測試檔案越來越龐大，單純的只使用軟體來模擬，就顯的非常耗費時間且不切實際。FPGA是改善模擬時間太長的一種選擇。但是FPGA並沒有辦法提供在除錯技巧上的高可觀性。
因此如果我們可以綜合聲明與FPGA各別的優點，這樣就可以提供一個最好的除錯模式。因此我們提出了我們的想法：將聲明直接合成在FPGA中，進而達到模擬時間縮短和高可觀性的優點。而這就達成了我們的最終目的：縮短驗證時間。 | zh_TW |
| DC.subject | 硬體 | zh_TW |
| DC.subject | 驗證 | zh_TW |
| DC.subject | 聲明 | zh_TW |
| DC.subject | verification | en_US |
| DC.subject | assertion | en_US |
| DC.subject | hardware | en_US |
| DC.title | 利用聲明驗證方法協助硬體除錯之研究 | zh_TW |
| dc.language.iso | zh-TW | zh-TW |
| DC.title | On Assertion-Based Verification for Hardware Debugging | en_US |
| DC.type | 博碩士論文 | zh_TW |
| DC.type | thesis | en_US |
| DC.publisher | National Central University | en_US |