Email Record: Symbolic analysis and reduction of VLSI circuits /