~ymherklotz

https://yannherklotz.com

Hi! I’m currently a PhD student in the Circuits and Systems group at Imperial College London, supervised by John Wickerson.

My research focuses on formalising the process of converting high-level programming language descriptions to correct hardware that is functionally equivalent to the input. This process is called high-level synthesis (HLS), and allows software to be turned into custom accelerators automatically, which can then be placed on field-programmable gate arrays (FPGAs). An implementation in the Coq theorem prover called Vericert can be found on Github.

I have also worked on random testing for FPGA synthesis tools. Verismith is a fuzzer that will randomly generate a Verilog design, pass it to the synthesis tool, and use an equivalence check to compare the output to the input. If these differ, the design is automatically reduced until the bug is located.

zk

Personal Zettelkasten

org-zettelkasten

A Zettelkasten mode leveraging Org.

vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.

yannherklotz.com

Personal blog and website.

ymh-emacs

My personal Emacs configuration

Activity

9ba766c Add text about metavariables

a month ago via zk

b6ee540 Use org-insert-heading-after-current instead of org-insert-subheading

a month ago via zk

b6ee540 Use org-insert-heading-after-current instead of org-insert-subheading

a month ago via org-zettelkasten

179ed32 Add more text

a month ago via zk

25d641c Add a binding for org-zettelkasten-create-branch

a month ago via zk

25d641c Add a binding for org-zettelkasten-create-branch

a month ago via org-zettelkasten

5b476c4 Fix dwim behaviour when on the last top-level entry

a month ago via zk

5b476c4 Fix dwim behaviour when on the last top-level entry

a month ago via org-zettelkasten

a1e08ee Add more notes

a month ago via zk

ab31cf4 Add movement to the end of the previous line

2 months ago via zk

ab31cf4 Add movement to the end of the previous line

2 months ago via org-zettelkasten

8943376 Update README icons

2 months ago via vericert

1f1b5c6 Update github workflows

2 months ago via vericert

7aceed6 Add some more events

4 months ago via yannherklotz.com

dce6f52 Update link to verismith thesis

4 months ago via yannherklotz.com
1 / 51