Fehr Mathieu

icon indicating an email [email protected]

icon company University of Cambridge icon location Cambridge, UK icon location Research assistant at the University of Cambridge. PhD student at the University of Edinburgh.

Results 2 comments of Fehr Mathieu

Tuner timeout

1. I tried with `clock` function, but it has a main issue: it is multiprocessor dependent, which means that you cannot 'synchronize' the blocks to know when the kernel started....

Multiplier correctness example

Hi! Sorry for the delay. I'm currently a bit busy, so here is the main idea. We want to show that our multiplier state satisfy some invariants at each cycle:...