~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.

papers

Published papers.

yannherklotz.com

Personal blog and website.

vericert

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

emacs-zettelkasten

Simple zettelkasten mode for emacs.

dotfiles

My personal dotfiles.

Activity

275092e Update tag

23 days ago via yannherklotz.com

3b8df0a Update copyright and RSS notice

23 days ago via yannherklotz.com

df4e1e1 Update dependencies and remove --no-init

24 days ago via vericert

db72feb Update the build with new dependencies

24 days ago via yannherklotz.com

731061b Fix links again and add category

24 days ago via vericert

5b1b2bb Update the build script

24 days ago via vericert

ca26c1b Update build script

24 days ago via yannherklotz.com

66efa4b Try updating link

24 days ago via vericert

33d1af1 Update publish.el with newer dependencies

24 days ago via vericert

7b999e5 Remove link macro

24 days ago via vericert

b31371d Remove unnecessary link macro

24 days ago via yannherklotz.com

eba9453 Update monospace font size

24 days ago via vericert

6793252 Update location of content

24 days ago via vericert

084f6e7 Update the theme

24 days ago via vericert

f672267 Update colors some more

24 days ago via vericert
1 / 5