Advanced Symbolic Analysis for VLSI Systems: Methods and Applications