Invia SMS: Semantics of digital circuits /