Αποστολή με SMS: Functional Verification of Dynamically Reconfigurable FPGA-based Systems