Αποστολή με SMS: Hierarchical Modeling for VLSI Circuit Testing