Advanced & Emerging Architectures
Level: 4 (Application — novel/unseen problems, no hints) Time limit: 60 minutes Total marks: 60
Answer all questions. Show all reasoning. Use / for mathematical work. State assumptions where needed.
Question 1 — Chiplet Yield & Cost Economics (12 marks)
A vendor can build a large SoC either as (a) one monolithic die of area , or (b) four identical chiplets of each, integrated on a passive silicon interposer.
Assume defect density and use the negative-binomial yield model with clustering parameter : where is die area in .
(a) Compute the die yield for the monolithic die and for a single chiplet. (4)
(b) A known-good-die (KGD) test screens chiplets before assembly. If interposer + assembly adds a combined yield of and the 4 chiplets are integrated only if all 4 are good, compute the effective assembly yield of the multi-die product (assume KGD guarantees each integrated chiplet is good, but the assembly step itself has yield ). (3)
(c) Given monolithic wafer cost yields effectively and the chiplet product cost is , with , , , and assembly yield from (b) applied to the whole chiplet product cost, determine which option is cheaper (express in units of ). (3)
(d) State two non-cost technical drivers (besides yield) that motivate chiplet disaggregation. (2)
Question 2 — HBM Bandwidth & Systolic Array Sizing (14 marks)
A domain-specific accelerator pairs an HBM3 stack with a TPU-style systolic array (weight-stationary MAC grid).
HBM3 stack facts: 16 channels, each channel 64 bits wide, running at per pin.
(a) Compute the peak memory bandwidth of the single HBM3 stack in GB/s (use bytes). (3)
(b) The systolic array is a square grid clocked at ; each PE does one MAC (2 FLOP) per cycle. Find the smallest (multiple of 32) whose peak throughput reaches at least . (3)
(c) For that , compute the array's arithmetic intensity requirement (FLOP per byte) to stay compute-bound given the bandwidth from (a). (3)
(d) A matrix multiply (all , one byte/element) is streamed once. Compute its arithmetic intensity (FLOP/byte, count FLOP). Is it compute-bound on this system? Justify against your (c) answer. (3)
(e) Explain in one or two sentences why weight-stationary dataflow reduces HBM traffic compared to a naïve no-reuse scheme. (2)
Question 3 — Approximate Computing Error Budget (10 marks)
A neural inference accelerator replaces exact 16-bit multipliers with an approximate multiplier that truncates the lower bits of each 16-bit operand before multiplication.
(a) If truncating each operand introduces a relative error bounded by , and the product's relative error is approximately the sum of operand relative errors, write the product's worst-case relative error bound as a function of . (2)
(b) The design target requires product relative error . Find the maximum integer satisfying this. (3)
(c) Truncating bits reduces multiplier energy by an empirical factor . Compute the percentage energy saving at the maximum from (b). (2)
(d) Give one architectural reason approximate computing is acceptable for DNN inference but unacceptable for a cryptographic (OpenTitan) hardware root of trust. (3)
Question 4 — Quantum & Photonic Interconnect Reasoning (12 marks)
(a) A quantum processor holds 12 physical qubits, each with single-qubit gate error . A circuit applies a depth-40 sequence where every qubit receives one gate per layer. Estimate the probability the whole run is error-free (assume independent errors). Comment on whether this scales to 1000 qubits at the same depth. (4)
(b) Surface-code error correction needs roughly physical qubits per logical qubit for code distance , suppressing logical error rate as . If and you need logical error , find the smallest odd , and the physical-qubit overhead per logical qubit. (4)
(c) A co-packaged optics link carries wavelengths (DWDM), each modulated at . Compute aggregate link bandwidth in Tbit/s, and give two reasons co-packaged optics is replacing electrical SerDes for high-bandwidth die-to-die links. (4)
Question 5 — Architecture Selection & Justification (12 marks)
For each workload below, select the single most appropriate architecture from this chapter and justify in 2–3 sentences (name the mechanism that makes it suited). Do not reuse an architecture.
Options: wafer-scale engine · FPGA · processing-in-memory (PIM) · neuromorphic chip · RISC-V with custom vector extension · TPU/systolic array.
(a) Training a single enormous transformer where inter-chip communication dominates and you want to eliminate off-package network hops. (3)
(b) An always-on, battery-powered edge sensor doing sparse, event-driven pattern spotting at microwatts. (3)
(c) A protocol that changes every 6 months in a telecom base station, requiring hardware reconfiguration in the field. (3)
(d) A memory-bound graph analytics kernel where data movement, not compute, is the bottleneck. (3)
End of paper.
Answer keyMark scheme & solutions
Question 1 (12 marks)
(a) Areas in cm²: mono , chiplet .
Why: smaller die area → lower defect probability → higher yield. (2 marks each = 4)
(b) With KGD, each integrated chiplet is good by construction; the only loss is the assembly step. Effective assembly yield = . (Independent step; no compounding of chiplet die yields since KGD screens them.) (3) — full marks for recognising KGD removes the penalty and yield = 0.95.
(c) Monolithic:
Chiplet product (4 good chiplets each costing , plus interposer, all divided by assembly yield):
Chiplet option is cheaper (). (3)
(d) Any two: mix process nodes (analog/IO on mature node, logic on leading node); reuse/modularity across product lines; larger effective silicon area beyond reticle limit; independent scaling of memory vs compute. (2)
Question 2 (14 marks)
(a) Total pins = bits. Bandwidth = bit/s bit/s GB/s.
(3)
(b) Throughput FLOP/s. Need : Smallest multiple of 32 is . Peak TFLOP/s. ✓ (3)
(c) To be compute-bound, required AI (peak FLOP/s) / (bandwidth): (3)
(d) FLOP . Bytes moved (stream once, 3 matrices × 1 byte) . → compute-bound. (3)
(e) Weight-stationary keeps each weight resident in its PE and reuses it across many input activations, so weights are fetched from HBM once rather than per-MAC — cutting DRAM traffic by the reuse factor and shifting AI up. (2)
Question 3 (10 marks)
(a) Two operands each ; product rel error . (2)
(b) Require : Max integer . (Check: ✓; ✗.) (3)
(c) . Saving . (2)
(d) DNN inference is statistically robust: small per-MAC errors average out and the network's decision boundary tolerates noise, so accuracy is nearly unchanged. A crypto root of trust must be bit-exact and deterministic — any single flipped bit breaks integrity/authentication and could leak keys or forge signatures; there is no "acceptable error budget." (3)
Question 4 (12 marks)
(a) Gates per run . Error-free prob (≈62%). For 1000 qubits, depth 40: gates, — essentially never error-free; NISC-scale circuits demand error correction. (4)
(b) Suppress : Smallest odd . Overhead physical qubits per logical qubit. (4)
(c) Aggregate . Reasons (any two): far lower energy/bit at high reach; no frequency-dependent copper channel loss/reach limit; higher bandwidth density (many wavelengths per fiber); reduced crosstalk and escape/pin limits vs electrical SerDes. (4)
Question 5 (12 marks) — model answers (3 each)
(a) Wafer-scale engine — the entire model fabric lives on one wafer, so cross-chip communication becomes on-wafer high-bandwidth low-latency mesh, eliminating off-package network hops and their bottleneck.
(b) Neuromorphic chip — event-driven spiking computation is active only when spikes occur, giving microwatt-class sparse pattern spotting; ideal for always-on edge sensing.
(c) FPGA — field-reconfigurable fabric lets the base-station hardware be reprogrammed for a new protocol every 6 months without silicon respin.
(d) Processing-in-memory (PIM) — compute is placed in/near the memory arrays, eliminating most data movement across the memory bus; directly attacks the bottleneck of a memory-bound graph kernel.
(TPU/systolic array and RISC-V vector remain unused — acceptable, since each option is used once and dense-matmul / general programmable-vector workloads aren't the best fit here.)
[
{"claim":"Monolithic die yield = 1.2^-3 ≈ 0.5787","code":"Y=(1+ (6.0*0.10)/3)**(-3); result = abs(float(Y)-0.5787) < 1e-3"},
{"claim":"Chiplet cost 9.42 < monolithic cost 10.37","code":"Ym=(1.2)**(-3); Yc=(1.05)**(-3); cm=6/Ym; cc=((4*1.5/Yc)+2)/0.95; result = bool(cc < cm and abs(float(cc)-9.42)<0.05)"},
{"claim":"HBM3 stack bandwidth = 819.2 GB/s","code":"bw=(16*64*6.4e9)/8/1e9; result = abs(bw-819.2) < 1e-6"},
{"claim":"256-cube matmul AI = 170.667 FLOP/byte and compute-bound (>62.5)","code":"ai=(2*256**3)/(3*256*256); result = bool(abs(float(ai)-170.6667)<1e-2 and ai>62.5)"},
{"claim":"Approx multiplier max k = 8 for <=1% product error","code":"import sympy as sp; k=sp.symbols('k'); vals=[kk for kk in range(0,16) if 2**(-(15-kk)) <= 0.01]; result = (max(vals)==8)"},
{"claim":"Surface code smallest odd d = 17 for logical error <=1e-9 at p/pth=0.1","code":"ds=[d for d in range(1,40,2) if (0.1)**((d+1)/2) <= 1e-9]; result = (min(ds)==17 and 17**2==289)"}
]