SmartOpt: an industrial strength framework for logic synthesis.

Stephen Jang, Dennis Wu, Mark Jarvin, Billy Chan, Kevin Chung, Alan Mishchenko, Robert K. Brayton

Browse the full FPGA paper archive.