TSB Design and Verification Framework de Toshiba Electronics
Cet ensemble d’outils fournit un environnement de développement, indépendant du système temps réel utilisé, et de test de la pile logicielle intégrée dans les SoC à base de cœurs de processeurs 32 et 64 bits.
Langage UML et C/C++
Générateur de code automatique
Réutilisation de blocs IP
…