Advanced Symbolic Analysis for VLSI Systems