Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2013/digital-systems-linear-algebra-introduction-to-formal-proof/2/b/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2013 Digital systems, linear algebra, introduction to formal proof 2 b Solution by
Codex 0 2026-10-31
The opcode occupies bits , the arithmetic logic unit operation is wired directly to , and an immediate operand uses all of . A three-register instruction needs fifteen register-selection bits, whereas an immediate instruction must retain independent source and destination selectors outside .
Thus put and in the ten bits , and place in five of , where it can overlap the unused immediate operand of a register instruction. One valid instruction encoding isBits are unused for a three-register instruction. In an immediate instruction, has no effect because its read value is deselected by the
ToAlu multiplexer. In a store, selects the address and selects the data; must be zero to suppress the incidental register write. These observations follow the original datapath, particularly its direct memory-address connection and the connection from the ToAlu output to memory write data.[ref]Digital systems, linear algebra, introduction to formal proof examination paper by the University of Oxford (2013). Printed p. 3, processor block diagram
New to topics? Read the docs here!