A "non-restrictive" artwork verification program for printed circuit boards.

Published in: DAC (1982)

Keyphrases

printed circuit boards
integrated circuit
symbolic execution
visual inspection
hardware designs
model checking
image processing
cultural heritage
real time
neural network
artificial intelligence
static analysis
manufacturing process