BOiLS: Bayesian Optimisation for Logic Synthesis

Antoine Grosnit, Cedric Malherbe, Rasul Tutunov +3

Optimising the quality-of-results (QoR) of circuits during logic synthesis is a formidable challenge necessitating the exploration of exponentially sized search spaces. While exper…