Logic optimization and synthesis: Trends and directions in industry.

Luca Gaetano Amarù Patrick Vuillod Jiong Luo Janet Olson

Published in: DATE (2017)

Keyphrases

logic synthesis
optimization problems
global optimization
optimization algorithm
optimization process
trend detection
automated reasoning
constrained optimization
functional programs
design space exploration
digital circuits
logical framework
world wide
real time
optimization method
case study
search engine