Symbolic analysis and reduction of VLSI circuits