symbolic-analysis-and-reduction-of-vlsi-circuits-2004