Share - [Free Ebook's Here] Symbolic Analysis and Reduction of VLSI Circuits: Problems and Opportunities at