Computer architecture and logic design

If You Don't Understand Apple Silicon, You Don't Understand Apple

Computer Architecture L13 - Interconnects (Fall 2026)

Comp. Arch. - Lecture 12: Memory Controllers and Memory Contention (Fall 2026)

Comp. Arch. - Lecture 9: Memory Latency & Memory Controllers (Fall 2026)

Comp. Arch. - Lecture 10: Memory Controllers (Fall 2026)

QuCS Lecture 83: Prof. Swamit Tannu (UW-Madison) | FTQC Architecture: Performance & Scalability

The AI Memory Wall: Why LLMs & AI Accelerators Hit a Bottleneck

Comp. Arch. - Lecture 6: Memory Robustness II (Fall 2026)

Seminar in Computer Architecture - L3: Cutting Through the Virtual Memory Wall (Fall 2026)

Comp. Arch. - Lecture 5: Memory Robustness I (Fall 2026)

Turning microservice chaos into a beautiful concerto - Marc Duiker - NDC Oslo 2026

Stop scaling and start tuning - Matt Burke - NDC Oslo 2026

Seminar in Computer Architecture - L2: Premiere: MIMDRAM and FC-DRAM (Fall 2026)

Comp. Arch. - Lecture 2: Memory Systems and Course Logistics (Fall 2026)

Lec 50: RTL to C Reverse Engineering

Ce CPU 3D japonais DETRUIT NVIDIA… SANS GPU !

Lec 43: Equivalence Checking Problems in Embedded Systems

La Chine Crée Le Premier Ordinateur Ternaire Au Monde — Il Pourrait Tout Changer

China Just Built the World's First Ternary Computer — This Could Change Computing

Lec 38: ROBDD based State Traversal in Symbolic Model Checking

Lec 37: BDD based Symbolic Model Checking - ROBDD Construction

Lec 29: Parallelism Fundamentals

Lec 33: Büchi Automata

Lec 32: Introduction to LTL Model Checking

Modern Computer Architecture & Organization • Jim Ledin & Maciej «MJ» Jedrzejewski • GOTO 2026

Athena: Synergizing Data Prefetching and Off-Chip Prediction via Online Reinforcement Learning

Constable: ISCA 2024 Best Paper

Lec 22: Introduction to Model Checking

Lec 20: Introduction to Formal Property Verification

Digital Design & Comp. Arch: L33: Problem Solving VII (Spring 2026)

Digital Design & Comp. Arch: L32: Problem Solving VI (Spring 2026)

Digital Design & Comp. Arch: L31: Problem Solving V (Spring 2026)

Digital Design & Comp. Arch. - L30: Problem Solving IV (Spring 2026)

Verifying Networks On Chip

Digital Design & Comp. Arch: L29: Problem Solving III (Spring 2025)

Digital Design & Comp. Arch: L28: Problem Solving II (Spring 2026)

Digital Design & Comp. Arch: L27: Problem Solving I (Spring 2026)

Lec 1: CPU Architecture

R&DB: The Third Workshop on Ramulator & DRAM Bender, held with ICS 2026, 6th July 2026

MCCSys-7: 7th Workshop on Memory-Centric Computing Systems, held with ICS 2026 - 6 July 2026

Arch4Health: 3rd Workshop on Architecture for Health (held with ICS 2026) -- 6 July 2026