Specifications for a design automation system.

Richard L. Mandell Gerald Estrin

Published in: DAC (1965)

Keyphrases

design automation
computer aided design
test generation
circuit design
high level
delay insensitive
data sets
control flow
artificial intelligence
image processing
web services
machine vision
formal specification