Text this: Advanced symbolic analysis for VLSI systems :