VERIFY: A Program for Proving Correctness of Digital Hardware Designs.

Harry G. Barrow

Published in: Artif. Intell. (1984)

Keyphrases

hardware designs
model based diagnosis
image processing
computer programs
learning algorithm
computer vision
website
reinforcement learning
dynamic programming
general purpose
digital objects
circuit design
hardware description language