Prelim Examination: Hanchen Ye
May 15, 2023 @ 10:00 AM
Online
Exam Topic: Scalable and Verifiable High-Level Synthesis