Computer architecture and logic design

Thema UYF

111 tuit · page 1/3
Comp. Arch. - Lecture 6: Memory Robustness II (Fall 2026)
Formal & Physical Sciences Computing & Cybersecurity
EN

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

SAFARI Research Group (Prof. Onur Mutlu, Dr. Konstantina Koliogeorgi, Dr. Nika M. Ghiasi, Konstantinos Kanellopoulos, Ataberk Olgun)
154 min
★ ★ ★ ★ ★ 5/5
RowHammerRowPressDRAM Reliability
Comp. Arch. - Lecture 5: Memory Robustness I (Fall 2026)
Applied Sciences & Engineering Computing & Cybersecurity
EN

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

Onur Mutlu, Konstantina Koliogeorgi, Nika M. Ghiasi, Konstantinos Kanellopoulos, Ataberk Olgun
164 min
★ ★ ★ ★ ★ 5/5
DRAMRowHammerMemory Robustness
Lec 50: RTL to C Reverse Engineering
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 50: RTL to C Reverse Engineering

Prof. Chandan Karfa
21 min
★ ★ ★ ★ ☆ 4/5
RTLReverse EngineeringHigh-Level Synthesis
Lec 29: Parallelism Fundamentals
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lec 29: Parallelism Fundamentals

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
27 min
★ ★ ★ ★ ☆ 4/5
Distributed TrainingParallelismGPU
Lec 33: Büchi Automata
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 33: Büchi Automata

Prof. Chandan Karfa
27 min
★ ★ ★ ★ ☆ 4/5
Büchi AutomataLTL Model CheckingOmega-Regular Languages
Constable: ISCA 2024 Best Paper
Formal & Physical Sciences Computing & Cybersecurity
EN

Constable: ISCA 2024 Best Paper

Rahul Bera
17 min
★ ★ ★ ★ ★ 5/5
Computer ArchitectureLoad EliminationInstruction Level Parallelism
Lec 22: Introduction to Model Checking
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 22: Introduction to Model Checking

Prof. Chandan Karfa
30 min
★ ★ ★ ★ ☆ 4/5
Model CheckingFormal VerificationFSM
Verifying Networks On Chip
Applied Sciences & Engineering Computing & Cybersecurity
EN

Verifying Networks On Chip

Semiconductor Engineering
30 min
★ ★ ★ ★ ☆ 4/5
Formal VerificationNetworks-on-ChipSilent Data Corruption
Lec 1: CPU Architecture
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 1: CPU Architecture

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
35 min
★ ★ ★ ★ ☆ 4/5
CPU ArchitectureAI AcceleratorsPerformance Metrics
Overcoming Bottlenecks In Data Movement
Applied Sciences & Engineering Computing & Cybersecurity
EN

Overcoming Bottlenecks In Data Movement

Semiconductor Engineering
13 min
★ ★ ★ ★ ☆ 4/5
Data MovementNetwork on ChipAI Hardware