Dennis Wu

• Towards scalable BDD-based logic synthesis