A method for automatic design error location and correction in combinational logic circuits.

Ayman M. Wahba Dominique Borrione

Published in: J. Electron. Test. (1996)

Keyphrases

logic circuits
fully automatic
error rate
user interface
quality of service
low power
heuristic search
error detection
functional decomposition