Techniques of Informatics and Microelectronics for integrated systems Architecture

ANR PRC - Projets de recherche collaborative

Ternary Neural Networks enable very efficient implementation on FPGAs.

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

ECSEL Joint Undertaking

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

ANR, 2018-2021