A technology relative Logic Synthesis and Module Selection system.

Gary W. Leive Donald E. Thomas

Published in: DAC (1981)

Keyphrases

logic synthesis
learning algorithm
quantum computing
database
real time
multi valued