Projects

2021

Ternary Neural Networks enable very efficient implementation on FPGAs.

2019

Assertion-Based Verification for embedded software

2018

Assertion-Based Verification of system-level requirements for SoC’s