SMS versenden: Semantics of digital circuits /