Advanced Symbolic Analysis for VLSI Systems Methods and Applications - Shi, Guoyong; Tan, Sheldon X.-D; Tlelo Cuautle, Esteban (Springer New York : Imprint: Springer, 2014)