Text this: Advanced Symbolic Analysis for VLSI Systems