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

NCU Institutional Repository > 資訊電機學院 > 電機工程研究所 > 博碩士論文 > Item 987654321/9861

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/9861

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

文件中的档案:

档案	大小	格式	浏览次数

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing