-
Ternary Neural Networks enable very efficient implementation on FPGAs.
-
-
OSIRIS enables the runtime Assertion-Based Verification of (embedded) software.
-
-
ISIS enables the runtime Assertion-Based Verification of SystemC TLM virtual platforms
-
-