Advanced Symbolic Analysis for VLSI Systems Methods and Applications /

• Main Authors: Shi, Guoyong (Author), Tan, Sheldon X.-D (Author), Tlelo Cuautle, Esteban (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York : Imprint: Springer, 2014.
• Subjects: Engineering.; Logic design.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Electronics and Microelectronics, Instrumentation.; Logic Design.

This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include  statisti...