MIPS utilisera Apex Design Optimization conjointement à son approche de développement et à ses logiciels basés sur la charge de travail.
Selon Xcelsa, Apex combine deux composants : la pile d'intelligence vérifiée et la pile d'intelligence physique.
La première est conçue pour vérifier, par équivalence formelle, que les modifications apportées lors de l'optimisation préservent le comportement fonctionnel de la conception de référence.
La seconde analyse les conséquences physiques des modifications proposées. Xcelsa souligne que cette capacité permet d'appréhender ces effets sans recourir aux outils de CAO électronique.
La plateforme peut explorer des milliers d'alternatives de conception, selon les entreprises, dans le but d'optimiser les paramètres de puissance, de performance et de surface (PPA).
MIPS et Xcelsa présentent un résultat concret obtenu lors de travaux sur une conception MIPS à l'échelle de la production.
Dans ce test, Apex a traité un chemin présentant une violation de timing significative dans une unité de stockage et de chargement.
Selon les entreprises, la plateforme a résolu cette violation en moins de trois heures et a permis une réduction de 33 % du délai du chemin critique.
L'optimisation a nécessité la réécriture d'une partie importante du bloc de conception. Le résultat a ensuite fait l'objet d'une vérification formelle, qui a déterminé son équivalence fonctionnelle avec la conception de référence. Cette réduction de 33 % est spécifique à ce chemin et à ce cas particulier.
MIPS estime qu'effectuer un travail comparable manuellement aurait nécessité environ un mois de travail d'ingénieur.
L'une des principales caractéristiques de la plateforme est la combinaison de la modification automatisée de la conception et de la vérification formelle d'équivalence.
Dans l'exemple fourni, Apex a modifié un bloc de circuit pour résoudre le problème de synchronisation, et la conception résultante a ensuite été formellement vérifiée afin de garantir le maintien du comportement fonctionnel de la conception originale.
Cela nous permet de distinguer deux objectifs différents : améliorer certains paramètres d’implémentation et vérifier que les transformations effectuées n’ont pas altéré la fonctionnalité que l’on souhaite préserver.
MIPS inscrit cette collaboration dans sa stratégie de plateformes adaptées à des charges de travail spécifiques.
Cette approche consiste à lier les exigences logicielles à l'architecture matérielle et aux choix d'implémentation. Dans des applications telles que l'automobile, la robotique ou le contrôle industriel, des paramètres comme les performances déterministes, la consommation d'énergie, la réactivité en temps réel et les exigences de sécurité fonctionnelle peuvent être pertinents.
L'ajout d'Apex vise à élargir le nombre d'alternatives pouvant être explorées lors des itérations de conception et d'optimisation.
Applications en intelligence artificielle, automobile et robotique :
MIPS et Xcelsa orientent leur collaboration vers le développement de puces sur mesure pour l’IA, l’automobile, l’aérospatiale, l’industrie, la robotique, les infrastructures de communication et autres systèmes embarqués.
MIPS associe également cet accord à sa stratégie de plateforme pour l’IA physique, terme désignant les systèmes d’intelligence artificielle interagissant avec l’environnement physique.
Cette alliance enrichit l’écosystème MIPS grâce aux capacités d’optimisation de Xcelsa, mais l’annonce ne porte pas sur de nouveaux processeurs, circuits intégrés spécifiques (ASIC) commerciaux ni dispositifs physiques développés conjointement.
