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