Αποστολή με SMS: SystemVerilog Assertions and Functional Coverage