Αποστολή με SMS: Symbolic Analysis and Reduction of VLSI Circuits