淡江大學機構典藏:Item 987654321/7590
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 62797/95867 (66%)
Visitors : 3745369      Online Users : 522
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    Please use this identifier to cite or link to this item: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/7590


    Title: 以資料路徑為基礎之超大型積體電路暫存器轉移層次描述的驗證與診斷方法
    Other Titles: A Data-Path Based Verification and Diagnosis Mechanism for RTL Description of VLSI Circuit
    Authors: 饒建奇
    Contributors: 淡江大學電機工程學系
    Date: 2004
    Issue Date: 2009-03-16 16:49:31 (UTC+8)
    Abstract: 隨著數位雜性和速度與日遽增,設計者必須在高層次來設計電路才能符合市 場的需求,因為邏輯合成可作暫存器轉移層次﹙Register Transfer Level, RTL﹚ 到實際線路的轉換,所以現今的趨勢大部份是在暫存器轉移層次做設計的工作。 在現今設計的流程中,設計錯誤的發生大多於硬體描述語言﹙Hardware Description Languages, HDLs﹚行為描述的階段,實際的設計以及設計規格之 間在功能上的不吻合經常會發生。然而,因為現今的數位設計的複雜度越來越高 的情況之下,以手工的方式從程式中找到錯誤的位置越來越困難。 在這次計畫中,我們提供了以資料路徑為基礎的自動錯誤診斷之有效方法, 來找尋錯誤可能發生的範圍,對於這範圍,我們首先去除掉一些不可能造成錯誤 的敘述以獲得一個敘述的集合稱之為錯誤空間﹙error space﹚。再者,我們試著 評估在錯誤空間裡的敘述為真正造成錯誤的可能性,根據這可能性,我們以一個 優先次序將這些敘述顯示出來,藉此,來縮短除錯的時間。
    Appears in Collections:[Graduate Institute & Department of Electrical Engineering] Research Paper

    Files in This Item:

    File Description SizeFormat
    932215E032002.pdf52KbAdobe PDF614View/Open

    All items in 機構典藏 are protected by copyright, with all rights reserved.


    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - Feedback