Synthèse des circuits asynchrones à partir des spécifications de Simulink

Ce travail introduit une approche permettant de synthétiser automatiquement les diagrammes Simulink en circuits asynchrones. Il est basé sur l'environnement de co-conception CodeSimulink, un outil développé au Politecnico di Torino capable de convertir les diagrammes Simulink en implémentations synchrones. Cet environnement a été étendu de deux manières différentes afin de l'intégrer aux flux FPGA et ASIC classiques. Le système généré avec les FPGA comme cible est basé sur une implémentation de données groupées, qui nécessite un soin particulier lors de la synthèse et du placement afin de maintenir l'exactitude du circuit. Les diagrammes Simulink sont compilés en VHDL standard et synthétisés avec des outils conventionnels fournis par les fabricants de puces. Le code obtenu est contraint à éviter les optimisations de synthèse non souhaitées et à mettre en -uvre la "région équipotentielle" nécessaire pour synthétiser des conceptions correctes et autosynchronisées. L'implémentation de l'ASIC utilise l'environnement de conception intemporelle de Handshake Solutions, une chaîne d'outils commerciaux capable de synthétiser les spécifications de Haste en logique asynchrone. Des tests expérimentaux ont montré de bons résultats en générant des circuits plus petits même que le code écrit à la main.

Maurizio Tranchero estudió en el Politécnico de Turín (Italia), donde obtuvo un máster y un doctorado en electrónica. Sus intereses de investigación se centran en el diseño de circuitos asíncronos y el diseño de ESL. Durante su actividad ha colaborado con socios industriales como Philips y STM. Ahora es ingeniero de diseño en ARM Francia.