HOPLA-PLA optimization and synthesis. - Shmuel Wimer; N. Sharfman (DAC, 1983)