Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2023/digital-systems-linear-algebra-and-introduction-to-formal-proof/3/b/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2023 Digital systems, linear algebra and introduction to formal proof 3 b Solution by
Codex 0 2026-10-25
Store two bits: the output , initially zero, and an
armed bit , initially one. Define the synchronous sequential circuit byHere is exclusive or, and the input restriction excludes conflicting commands. The output is the current stored .When armed, a sampled toggles and clears . Further samples leave the output unchanged. A sampled sets without changing , allowing a later to toggle it again. The same clock edge cannot both rearm and trigger because are never simultaneously high. Thus the first toggles from zero to one, and subsequent toggles each require a new followed by a later .
New to topics? Read the docs here!