Theoretical Foundations of VLSI Design

ISBN: 9780521545655 出版年：1990 页码：450 K McEvoy J V Tucker Cambridge University Press

From the Publisher: The physical technologies of very large scale integration (VLSI) are having major effects on the electronics industry. The potential diversity and complexity of digital systems are revolutionizing the technologies of digital design, which involve the application of algorithmic and programming concepts and methods. In return, the problems of VLSI design are leading to new subjects of importance in computer science. These topics, covered in this volume, include: models of VLSI complexity, complexity theory, systolic algorithm design, specification theory, verification theory, and design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included.