IEICE TRANSACTIONS on Fundamentals
An Error Diagnosis Technique Based on Location Sets to Rectify Subcircuits
Summary :
This paper presents an error diagnosis technique for incremental synthesis, called EXLLS (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 EXLIT, 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 EXLLS 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 EXLLS can rectify five or more errors with fewer locations to change. Experimental results have shown that EXLLS reduces increase in the number of locations to be rectified with conventional technique by 90.1%.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E92-A No.12 pp.3136-3142
- Publication Date
- 2009/12/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E92.A.3136
- Type of Manuscript
- Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
- Category
- Logic Synthesis, Test and Verfication
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Kosuke SHIOKI, Narumi OKADA, Toshiro ISHIHARA, Tetsuya HIROSE, Nobutaka KUROKI, Masahiro NUMA, "An Error Diagnosis Technique Based on Location Sets to Rectify Subcircuits" in IEICE TRANSACTIONS on Fundamentals,
vol. E92-A, no. 12, pp. 3136-3142, December 2009, doi: 10.1587/transfun.E92.A.3136.
Abstract: This paper presents an error diagnosis technique for incremental synthesis, called EXLLS (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 EXLIT, 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 EXLLS 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 EXLLS can rectify five or more errors with fewer locations to change. Experimental results have shown that EXLLS reduces increase in the number of locations to be rectified with conventional technique by 90.1%.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E92.A.3136/_p
Copy
@ARTICLE{e92-a_12_3136,
author={Kosuke SHIOKI, Narumi OKADA, Toshiro ISHIHARA, Tetsuya HIROSE, Nobutaka KUROKI, Masahiro NUMA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={An Error Diagnosis Technique Based on Location Sets to Rectify Subcircuits},
year={2009},
volume={E92-A},
number={12},
pages={3136-3142},
abstract={This paper presents an error diagnosis technique for incremental synthesis, called EXLLS (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 EXLIT, 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 EXLLS 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 EXLLS can rectify five or more errors with fewer locations to change. Experimental results have shown that EXLLS reduces increase in the number of locations to be rectified with conventional technique by 90.1%.},
keywords={},
doi={10.1587/transfun.E92.A.3136},
ISSN={1745-1337},
month={December},}
Copy
TY - JOUR
TI - An Error Diagnosis Technique Based on Location Sets to Rectify Subcircuits
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 3136
EP - 3142
AU - Kosuke SHIOKI
AU - Narumi OKADA
AU - Toshiro ISHIHARA
AU - Tetsuya HIROSE
AU - Nobutaka KUROKI
AU - Masahiro NUMA
PY - 2009
DO - 10.1587/transfun.E92.A.3136
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E92-A
IS - 12
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - December 2009
AB - This paper presents an error diagnosis technique for incremental synthesis, called EXLLS (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 EXLIT, 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 EXLLS 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 EXLLS can rectify five or more errors with fewer locations to change. Experimental results have shown that EXLLS reduces increase in the number of locations to be rectified with conventional technique by 90.1%.
ER -
English
