Retour

I finally submitted my Master Thesis (and finished my masters in doing so). If you like Hardware Verification and want to learn about how I extended the underlying compiler for many high level hardware languages to support formal verification and SVA properties natively, feel free to read my thesis (https://doi.org/10.3929/ethz-b-000668906).

Thanks to @ekiwi for being such an amazing advisor!