Describir: Semantics of digital circuits /