Fast Error Diagnosis for Combinational Verification.

Aarti Gupta Pranav Ashar

Published in: VLSI Design (2000)

Keyphrases

asynchronous circuits
fault diagnosis
medical diagnosis
model checking
model based diagnosis
error rate
error analysis
fault detection
false acceptance rate
signature verification
real time
approximation error
motion estimation
formal verification
upper bound
disease diagnosis
clinically relevant
data sets