Title: Symbolic analysis and reduction of VLSI circuits