This book focuses on computation complexity and design of algorithms for multi-layer channel routing. In particular, it deals with various large-scale, computat

Digital Timing Macromodeling for VLSI Design Verification first of all provides an extensive history of the development of simulation techniques. It presents de

This book provides readers with an up-to-date account of the use of machine learning frameworks, methodologies, algorithms and techniques in the context of comp

Circuits and architectures have become more complex in terms of structure, interconnection topology, and data flow. Design correctness has become increasingly s

These volumes review late 1980s/early 1990s state-of-the-art developments in computer-aided design and analysis techniques. Contributions from researchers and p