Logic synthesis with constraints. - A. Fox; C. T. Spracklen; C. P. Jolly (Microprocess. Microprogramming, 1988)