Logic and architecture synthesis for silicon compilers - Saucier, Gabriele., ed.; McLellan, Paul Michael., ed. (Amsterdam North-Holland, 1989)