A formal methodology for automated synthesis of VLSI systems
By: Zebo Peng
Contributors: Universitetet i Linköping
Series: Linköping studies in science and technology -- no. 170
Publisher: Dept. of Computer and Information Science, Linköping University
Published: 1987
Place of publication: Linköping, Sweden
Language: eng
Number of pages: 181
ISBN-13: 9789178702251
Subjects: Integrated circuits; Very large scale integration; Design and construction; Computer-aided design
Notes: Thesis (doctoral)--Linköping University, 1987.

Bibliography: p. [173]-181.