Print Share Share on Facebook Share on Twitter Share on LinkedIn Share url AI4DI (Artificial Intelligence for Digitizing Industry) ECSEL Joint Undertaking Read more Back To The Future (BTF) Industry collaboration Read more ISIS: Assertion-Based Verification of system-level requirements for SoC's ISIS enables the runtime Assertion-Based Verification of SystemC TLM virtual platforms Read more Maplurinum (Machinæ pluribus unum) ANR 2021-24 ANR PRC - Projets de recherche collaborative Read more OSIRIS: Assertion-Based Verification for embedded software OSIRIS enables the runtime Assertion-Based Verification of (embedded) software. Read more RAKES (RAdio Kills the Electronic Stars) Using RF communications for broadcast operations in NoC. ANR, 2018-2021 Read more Ternary Neural Networks Ternary Neural Networks enable very efficient implementation on FPGAs. Read more Print Share Share on Facebook Share on Twitter Share on LinkedIn Share url
ISIS: Assertion-Based Verification of system-level requirements for SoC's ISIS enables the runtime Assertion-Based Verification of SystemC TLM virtual platforms Read more
Maplurinum (Machinæ pluribus unum) ANR 2021-24 ANR PRC - Projets de recherche collaborative Read more
OSIRIS: Assertion-Based Verification for embedded software OSIRIS enables the runtime Assertion-Based Verification of (embedded) software. Read more
RAKES (RAdio Kills the Electronic Stars) Using RF communications for broadcast operations in NoC. ANR, 2018-2021 Read more
Ternary Neural Networks Ternary Neural Networks enable very efficient implementation on FPGAs. Read more