A verification technique for hardware designs.

Fumihiro Maruyama Takao Uehara Nobuaki Kawato Takao Saito

Published in: DAC (1982)

Keyphrases

hardware designs
model based diagnosis
computer vision
image processing
multi agent
pattern recognition
computational complexity
dynamical systems
face verification
hardware description language