Text this: Symbolic analysis and reduction of VLSI circuits /