Text this: Semantics of digital circuits /