An Error Diagnosis Technique Based on Location Sets to Rectify Subcircuits

摘要

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 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 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%.