Print Share Share on Facebook Share on LinkedIn Share this page URL AI4DI (Artificial Intelligence for Digitizing Industry) Back To The Future (BTF) EDGE AI ISIS: Assertion-Based Verification of system-level requirements for SoC's Maplurinum (Machinæ pluribus unum) ANR 2021-24 OSIRIS: Assertion-Based Verification for embedded software RAKES (RAdio Kills the Electronic Stars) Using RF communications for broadcast operations in NoC. Ternary Neural Networks Past Research Projects Print Share Share on Facebook Share on LinkedIn Share this page URL
