Un projet financé par l'UE développe un langage de spécification des circuits intégrés Un projet financé par l'UE a développé un langage révolutionnaire de spécification des circuits intégrés, dans le but de remplacer une formulation ambiguë en anglais par une description mathématique précise de la conception et des fonctions du processeur. La conception d'un ... Un projet financé par l'UE a développé un langage révolutionnaire de spécification des circuits intégrés, dans le but de remplacer une formulation ambiguë en anglais par une description mathématique précise de la conception et des fonctions du processeur. La conception d'un circuit intégré est une tâche complexe. La première question est celle des fonctionnalités. Les ingénieurs commencent par décrire, en anglais et dans le moindre détail, ce que doit faire le circuit. Cette tâche essentielle détaille les spécifications pour chaque étape de la création du circuit: la conception, la fabrication et la vérification. Pour chacune de ces étapes, les ingénieurs doivent transformer la liste de descriptions, rédigée en anglais, en un ensemble de fonctions mathématiquement précis. Or, la langue anglaise n'est pas mathématiquement précise. En conséquence, les difficultés d'interprétation sont très courantes. Le processus se complique davantage par le fait que chaque étape utilise un langage différent, et que ces langages changent d'un fabricant de circuits à un autre. Toutes ces difficultés rendent le processus de conception d'un microprocesseur hautement inefficace, onéreux et sujet aux erreurs. «Avant le Property Specification Language (PSL, ou langage de spécification par propriétés), il n'existait aucune norme pour décrire les propriétés des circuits intégrés», déclare Cindy Eisner, coordinatrice du projet PROSYD (Property-based system design) au laboratoire de recherche IBM à Haïfa en Israël. «Maintenant, l'IEEE [Institute of Electrical and Electronics Engineers, Inc] a adopté le PSL comme langage standard de spécification. Nous disposons donc désormais d'une norme pour la conception des microprocesseurs.» La mission du projet PROSYD financé par l'UE consistait à créer des outils permettant d'utiliser le PSL pour la conception, la fabrication et la vérification de circuits intégrés. Le projet s'est ensuite appuyé sur ces outils pour démontrer les avantages du PSL. Enfin, il s'est attaché à favoriser une révolution dans la conception de puces en proposant le PSL comme nouvelle norme du secteur. Le projet, qui consistait à rendre la conception plus efficace et de réduire de 50% les erreurs associées, a été couronné de succès. Doté de 7 millions d'euros, le projet PROSYD a duré deux ans. Il s'est traduit par une réduction spectaculaire des erreurs (jusqu'à 100%) et une augmentation de l'efficacité de la production (de 16 à 22%). D'après le Dr Eisner, une fois les concepteurs familiarisés avec le nouveau langage et l'ensemble d'outils, nous pouvons nous attendre à un gain en efficacité encore plus impressionnant. Pays Israël, Islande
