Stephen Jang Dennis Wu Mark Jarvin Billy Chan Kevin Chung Alan Mishchenko Robert K. Brayton SmartOpt: an industrial strength framework for logic synthesis. 237-240 2009 FPGA http://doi.acm.org/10.1145/1508128.1508165 conf/fpga/2009 db/conf/fpga/fpga2009.html#JangWJCCMB09