UPEC: Formal Security Verification
Figure: Speculative program execution can enable side channel
Formale Security Analyse (UPEC)
Abbildung: Spekulative Programmausführung kann Seitenkanal ermöglichen
Drawing Engine Nlview
Concept Engineering's Nlview® engine provides automatic generation of schematic diagrams for different levels of electronic circuits, including gate-level, RTL and block-level. Optional engines are available for the system-level (S-engine), for the transistor-level (T-engine), and for automotive and aerospace applications (E-engine).
Commercial licenses can be obtained from Concept Engineering.
On Chip Debug Solution
Lauterbach implements debugging and trace support in alignment with Partner Infineon specific Hardware Solution.
The Solution will be part of Lauterbach's commercial RISC-V Debug Tools
On Chip Debug Hardware
Infineon implements for its evaluation platform in alignment with Partner Lauterbach specific Hardware Components for On-Chip-Debug. The Hardware acts as Evaluation Vehicle for the Lauterbach On Chip Debug solution.
The Infineon Solution will be productized with its chips. It is therefore no tool or IP but part of semiconductor products.
tflite_micro_compiler
Generate tflite micro code which bypasses the interpreter (directly calls into kernels)
Basically this code uses a fully set up tflite micro instance to dump the internal allocations and function calls assigned to the model, then dumps the tensor and node settings into a compilable file, eliminating the need for running the interpreter at each program start and for resolving the correct kernel at run time.
Apache License 2.0
PikeOS Operating System and Hypervisor
PikeOS and PikeOS for MPU are each a real-time operating system and hypervisor for embedded systems. It provides partitioning to separate different applications or guest operating systems from each other. PikeOS is often combined with ELinOS, SYSGO's embedded Linux, which is then run in a partition under the PikeOS hypervisor.
SYSGO issues evaluation licenses in the scope of the Scale4Edge project to interested project partners.