An Error Diagnosis Technique Based on Location Sets to Rectify Subcircuits

• SHIOKI Kosuke

  Graduate School of Engineering, Kobe University

• OKADA Narumi

  Graduate School of Engineering, Kobe University

• ISHIHARA Toshiro

  Graduate School of Engineering, Kobe University

• HIROSE Tetsuya

  Graduate School of Engineering, Kobe University

• KUROKI Nobutaka

  Graduate School of Engineering, Kobe University

• NUMA Masahiro

  Graduate School of Engineering, Kobe University

Abstract

This paper presents an error diagnosis technique for incremental synthesis, called EXL_LS (Extended X-algorithm for LUT-based circuit model based on Location sets to rectify Subcircuits), which rectifies five or more functional errors in the whole circuit based on location sets to rectify subcircuits. Conventional error diagnosis technique, called EXL_IT, tries to rectify five or more functional errors based on incremental rectification for subcircuits. However, the solution depends on the selection and the order of modifications on subcircuits, which increases the number of locations to be changed. To overcome this problem, we propose EXL_LS based on location sets to rectify subcircuits, which obtains two or more solutions by separating i) extraction of location sets to be rectified, and ii) rectification for the whole circuit based on the location sets. Thereby EXL_LS can rectify five or more errors with fewer locations to change. Experimental results have shown that EXL_LS reduces increase in the number of locations to be rectified with conventional technique by 90.1%.

Journal

• IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A (12), 3136-3142, 2009

  The Institute of Electronics, Information and Communication Engineers

Keywords

• ECO
• error diagnosis
• incremental synthesis
• LUT

Details

• CRID: 1390001206311681536
• NII Article ID: 10026861552
• NII Book ID: AA10826239
• DOI: 10.1587/transfun.e92.a.3136
• ISSN: 17451337
• ISSN: 09168508
• Web Site: http://www.jstage.jst.go.jp/article/transfun/E92.A/12/E92.A_12_3136/_pdf
• Text Lang: en
• Data Source:
  • JaLC
  • Crossref
  • CiNii Articles
• Abstract License Flag: Disallowed