Cambrige 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.

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: [GitHub]
  • Instruction test generation:

    • Mandatory: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification, IBM Research, IEEE Design and Test 2004 [IEEExplore]
    • Randomised testing of a microprocessor model using SMT-solver state generation, 2015 [Science Direct]
    • RISC-V torture tests: [GitHub]
  • Additional material:

    • RISC-V tests: [GitHub]
    • RISC-V formal framework: [[Open Access Slides](https://github.com/SymbioticEDA/riscv-formal http://www.clifford.at/papers/2017/riscv-formal/slides.pdf)]

Week 5: Hardware security (I)

Week 6: Hardware security (II)

Week 7: Hardware reliability

Other optional material for week 7

Week 8: HW Accelerators and accelerators for machine learning

Lecture Slides

Seminar 1 - Trends in Computer Architecture

Seminar 1 - Processor Design

Seminar 2 - Prefetching