National Tsing Hua University Institutional Repository:AutoFix: A Hybrid Tool for Automatic Logic Rectification
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 54367/62174 (87%)
Visitors : 14654820      Online Users : 81
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTHU 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:

    Title: AutoFix: A Hybrid Tool for Automatic Logic Rectification
    Authors: Shi-Yu Huang
    Kuang-Chien Chen
    Kwang-Ting Cheng
    Teacher: 黃錫瑜
    Date: 1999
    Publisher: Institute of Electrical and Electronics Engineers
    Relation: Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
    Volume 18, Issue 9, Sept. 1999 Page(s):1376 - 1384
    Keywords: Circuit synthesis
    design automation
    error correction
    symbol manipulation
    Abstract: 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.
    Appears in Collections:[Department of Electrical Engineering] EE Journal / Magazine Articles
    [Design Technology Center ] DTC Journal / Magazine Articles

    Files in This Item:

    File SizeFormat
    2030172010009.pdf31KbAdobe PDF790View/Open


    SFX Query


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