Αποστολή με SMS: A Practical Guide for SystemVerilog Assertions