Advanced Symbolic Analysis for VLSI SystemsGuoyong Shi, Sheldon X.-D Tan, Esteban Tlelo Cuautle · First published 2014Open the Tome
