Summary
PhD student in the Circuits and Systems group under the supervision of John Wickerson. I am currently focusing on formal verification of high level synthesis.
Publications
Conference
Herklotz Grave Y, Wickerson J, 2020, Finding and understanding bugs in FPGA synthesis tools, ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, ACM, Pages:277-287
Software
Herklotz Grave Y, 2020, ymherklotz/verismith: Verismith 1.0.0.0, v.v1.0.0.0