You are about to access our book library "Symbolic Analysis and Reduction of VLSI Circuits full version" .