Theoretical Foundations of VLSI Design

丛 书 名：Cambridge Tracts in Theoretical Computer Science 10

作     者：K. McEvoy J. V. Tucker 

I S B N：(纸本) 0521366313;9780521366311 

出 版 社：Cambridge University Press 

出 版 年：1991年

摘      要：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.