Logic synthesis and optimization benchmarks for the 1986 Design Automation Conference.

Aart J. de Geus

Published in: DAC (1986)

Keyphrases

design automation
logic synthesis
optimization algorithm
multi valued
computer aided design
test generation
computer vision
dynamic programming
source code
quantum computing