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.