A new book by Dr. Sheldon Tan, Dr. Guoyong Shi and Esteban Tlelo-Cuautle, has been published by Springer: Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo-Cuautle, Advanced Symbolic Analysis for VLSI Systems -- Methods and Applications, Springer, 2014 This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer...