A new book, that Dr. Sheldon Tan co-authored, has been published by Springer Publisher. The new book is titled Advanced Symbolic Analysis for VLSI Systems – Method and Application . It provides the latest development in symbolic analysis for VLSI design and its application.