Lukas P. P. P. van Ginneken
-
BooleDozer: logic synthesis for ASICs
IBM Journal of Research and Development