Advanced Symbolic Analysis for VLSI Systems:Methods and Applications