Error Diagnosis in Equivalence Checking of High Performance Microprocessors.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

error rate
model based diagnosis
error analysis
error bounds
fault diagnosis
medical diagnosis
personal computer
multiple faults
genetic algorithm
medical images
data management
computer architecture
computing power
model based reasoning
error free
automatic diagnosis