Constrained synthesis and optimization of digital integrated circuits from behavioral specifications - Ku, David C. (Stanford Univ., Computer Systems Lab., 1991)