Conference proceeding
On diagnosis and correction of design errors
the 1993 IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, USA, 11/07-11/93
01/01/1993
Abstract
We consider the problem of diagnosing and correcting two classes of design errors, called 'output correspondence' and 'input correspondence' errors. Under these errors, the order of the outputs or inputs of the implementation are changed, such that an incorrect matching between specification and implementation outputs or inputs is obtained. These errors were not included in earlier methods proposed to diagnose and correct design errors. We present diagnosis and correction procedures for these errors, and discuss the performance of these procedures in the presence of previously studied design errors. The analysis shows the importance of considering output and input correspondence errors as part of a complete correction procedure.
Details
- Title: Subtitle
- On diagnosis and correction of design errors
- Creators
- Irith PomeranzSudhakar M Reddy
- Resource Type
- Conference proceeding
- Publication Details
- the 1993 IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, USA, 11/07-11/93
- Language
- English
- Date published
- 01/01/1993
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984198000102771
Metrics
59 Record Views