Hardware verification

Speaker: Tz-Ching Yu <u>EDIC candidacy exam</u><br> Exam president: Prof. Clément Pit-Claudel<br> Thesis advisor: Prof. Thomas Bourgeat<br> Co-examiner: Prof. Nate Foster<br> <br> <u>Abstract</u><br> <br> <u>Selected paper</u> <ul> <li><a data-auth="NotApplicable" data-linkindex="0" data-outlook-id="a656b137-6cf8-4654-b654-098369fff09d" href="https://dl.acm.org/doi/10.1145/292540.292555" title="https://dl.acm.org/doi/10.1145/292540.292555">A core calculus of dependency</a> Martín Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke (1999)<br> <a data-auth="NotApplicable" href="https://dl.acm.org/d