82
Voted
DAC
1994
ACM
15 years 29 days ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...