Enviar por SMS: Contribution to system-level design and verification of low-power digital systems