|Conference:||Verification Futures 2023 (click here to see full programme)|
|Presentation Title:||How to sign-off cryptographic hash implementations with generated assertions|
LUBIS EDA established a novel tool-flow that is based around the idea of automatic formal AIP generation. Instead of writing high-quality formal properties by hand LUBIS generates them from a simple and easy-to-use abstract model.
- 2015 – 2020 R&D Project Lead & PhD candidate - 2020 quired PHD from TU Kaiserslautern - Several publications, e.g., TCAD - Founder of LUBIS EDA in 2020 - Currently: CEO of LUBIS