Department of Computer Science and Technology

Course pages 2019–20

Advanced Topics in Computer Architecture

Reading List

Note: All Week 1 papers are not for assessment. You should not submit an essay on the topic of these papers.

Week 1: Trends in Computer Architecture

Other optional material for week 1

Week 2: State-of-the-art Processor Design

Other optional material for week 2

Week 3: Memory system design

Other optional material for week 3

Week 4: Specification, verification and test

  • ISA specification & verification:
    • Mandatory: Who Guards the Guards? Formal validation of the Arm v8-m architecture specification, OOPSLA 2017
      [ACM Digital Library]
    • ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS, POPL 2019
      [Open Access]
    • Sail RISC-V docs:
  • Instruction test generation:
    • Mandatory: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification, IBM Research, IEEE Design and Test 2004
    • Randomised testing of a microprocessor model using SMT-solver state generation, 2015
      [Science Direct]
    • RISC-V torture tests:
  • Additional material:

Week 5: Hardware security (I)

  • Background: An Introduction to CHERI, Technical Report UCAM-CL-TR-941, Computer Laboratory, September 2019.
    [local PDF]
  • Efficient Tagged Memory, ICCD 2017
    [open access PDF]
  • CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization, SSP 2015
    [open access PDF]
  • CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety, MICRO 2019
    [open access PDF]
  • Further optional reading:
    • CHERI Concentrate: Practical Compressed Capabilities, IEEE Transactions on Computers 2019
      [open access PDF]
    • Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 7), Technical Report UCAM-CL-TR-927
      [local PDF]
    • CHERI publications list

Week 6: Hardware security (II)

Week 7: Hardware reliability

Other optional material for week 7

Week 8: HW Accelerators and accelerators for machine learning

Other optional/background material for week 8

Lecture Slides

Seminar 1 - Trends in Computer Architecture

Seminar 1 - Processor Design

Seminar 2 - Prefetching

Seminar 3: Testing

Seminar 4: Security 1

Seminar 5: Security 2

Seminar 6 - Reliability

Seminar 7 - Accelerators