A formal methodology for automated synthesis of VLSI systems - Peng, Zebo (Linköping studies in science and technology. Dissertations ;, 1987)