On proving the correctness of optimizing transformations in a digital design automation system.

Michael C. McFarland

Published in: DAC (1981)

Keyphrases

design automation
circuit design
test generation
computer aided design
digital media
data sets
databases
learning algorithm
artificial intelligence
multimedia
case study
digital content
digital curves