Cover theories and practices of verification/test for checking hardware correctness and trustworthiness of large language models. A connection between the two is drawn. Students learn the principles of verification and test and how to apply them in both contexts.

Prerequisites: Recommended: ECE 272A, ECE 272B

4

Units

Optional

Grading

1, 2, 3

Passtime

Graduate students only

Level Limit

Engineering

College
These majors only ece
T B A
No info found
GIRV 1106
F
15:00 PM - 17:50 PM
0 / 10

GIRV 2135
W
19:00 PM - 21:50 PM
0 / 10

GIRV 2110
M
19:00 PM - 21:50 PM
0 / 10

HIST 253A
0 / 12 Enrolled
Special Seminar in Latin American History
Cecilia Mendez 1.9
W
17:00 PM - 19:50 PM
ECE 262
0 / 30 Enrolled
Physics of Solar Cells
T B A
T R
14:00 PM - 15:50 PM
HIST 287J
0 / 6 Enrolled
Reinventing "Japan" Colloquium
Kate McDonald 4.5
W
16:00 PM - 17:50 PM
HIST 294
0 / 12 Enrolled
Colloquium on History and Political Economy
Chatto U
F
12:00 PM - 13:50 PM
HIST 295GS
0 / 12 Enrolled
Gender and Sexualities Colloquium
Erika Rappaport 3.9
F
12:00 PM - 13:50 PM
HIST 295PH
0 / 12 Enrolled
Colloquium in Public History
Lisa Jacobson 4.0
F
12:00 PM - 13:50 PM