National Tsing Hua University Institutional Repository:AutoFix: A Hybrid Tool for Automatic Logic Rectification
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 54367/62174 (87%)
造訪人次 : 14636128      線上人數 : 68
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTHU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    National Tsing Hua University Institutional Repository > 電機資訊學院 > 電機工程學系 > 期刊論文 >  AutoFix: A Hybrid Tool for Automatic Logic Rectification


    請使用永久網址來引用或連結此文件: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/12072


    題名: AutoFix: A Hybrid Tool for Automatic Logic Rectification
    作者: Shi-Yu Huang
    Kuang-Chien Chen
    Kwang-Ting Cheng
    教師: 黃錫瑜
    日期: 1999
    出版者: Institute of Electrical and Electronics Engineers
    關聯: Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
    Volume 18, Issue 9, Sept. 1999 Page(s):1376 - 1384
    關鍵詞: Circuit synthesis
    design automation
    error correction
    symbol manipulation
    摘要: We address the problem of rectifying an erroneous combinational circuit. Based on the symbolic binary decision diagram techniques, we consider the rectification process as a sequence of partial corrections. Each partial correction reduces the size of the input vector set that produces error responses. Compared with the existing approaches, this approach is more general, and thus, suitable for circuits with multiple errors and for the engineering change problem. Also, we derive the necessary and sufficient condition of general single-gate correction to improve the quality of rectification. To handle larger circuits, we develop a hybrid approach that makes use of the information of structural correspondence between specification and implementation. Experiments are performed on a suite of industrial examples as well as the entire set of ISCAS'85 benchmark circuits to demonstrate its effectiveness.
    URI: http://nthur.lib.nthu.edu.tw/handle/987654321/12072
    顯示於類別:[電機工程學系] 期刊論文
    [積體電路設計技術研發中心] 期刊論文

    文件中的檔案:

    檔案 大小格式瀏覽次數
    2030172010009.pdf31KbAdobe PDF790檢視/開啟


    在NTHUR中所有的資料項目都受到原著作權保護,僅提供學術研究及教育使用,敬請尊重著作權人之權益。若須利用於商業或營利,請先取得著作權人授權。
    若發現本網站收錄之內容有侵害著作權人權益之情事,請權利人通知本網站管理者(smluo@lib.nthu.edu.tw),管理者將立即採取移除該內容等補救措施。

    SFX Query

    與系統管理員聯絡

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回饋