Techniques of Informatics and Microelectronics for integrated systems Architecture

Ternary Neural Networks enable very efficient implementation on FPGAs.

ANR, 2018-2021

OSIRIS enables the runtime Assertion-Based Verification of (embedded) software.

ANR PRC - Projets de recherche collaborative

ISIS enables the runtime Assertion-Based Verification of SystemC TLM virtual platforms

Industry collaboration

ECSEL Joint Undertaking