Email Record: Semantics of digital circuits /