Αποστολή με SMS: Generating Hardware Assertion Checkers