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.