High-Effort Logic Synthesis Using Randomized Transduction.

Yukio Miyasaka, Alan Mishchenko, John Wawrzynek, Dino Ruic, Xiaoqing Xu

Browse the full ASPDAC paper archive.