A rule-based approach to unifying functional and fault simulation and timing verification.

Published in: DAC (1986)

Keyphrases

functional verification
fault diagnosis
image processing
asynchronous circuits
image sequences
face recognition
numerical simulations
simulation model
real time
data sets
expert systems
model checking
simulation models