Research Projects - SLS

AI4DI (Artificial Intelligence for Digitizing Industry)

ECSEL Joint Undertaking

Back To The Future (BTF)

Industry collaboration

ISIS: Assertion-Based Verification of system-level requirements for SoC's

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

Maplurinum (Machinæ pluribus unum)

ANR 2021-24

ANR PRC - Projets de recherche collaborative

OSIRIS: Assertion-Based Verification for embedded software

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

RAKES (RAdio Kills the Electronic Stars)

Using RF communications for broadcast operations in NoC.

ANR, 2018-2021

Ternary Neural Networks

Ternary Neural Networks enable very efficient implementation on FPGAs.