Αποστολή με SMS: Advanced Symbolic Analysis for VLSI Systems