Dennis Wu

BDD-based two variable sharing extraction

Dennis Wu, Jianwen Zhu, 2005, ASP-DAC '05.

BDD-based two variable sharing extraction

Dennis Wu, Jianwen Zhu, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

SmartOpt: an industrial strength framework for logic synthesis

Robert K. Brayton, Dennis Wu, Alan Mishchenko, 2009, FPGA '09.

Towards Scalable BDD-Based Logic Synthesis

Dennis Wu, Dennis Wu, 2005 .