Αποστολή με SMS: Design, Analysis and Test of Logic Circuits Under Uncertainty