La voie pour la synthèse au niveau système en SystemC est grande ouverte

La jeune pousse américaine Bluespec s'est fait connaître, dans son pays dans un premier temps, comme fournisseur d'outils pour la synthèse au niveau système (ESL) – en SystemVerilog – de logiques de contrôle et de chemins de données. La société vient de lancer, sous le nom d'ESL Synthesis Extensions (ESE), une solution pour le langage SystemC. « Hormis pour les algorithmes, il n'existe pas sur le marché d'outils pour la synthèse en SystemC. Les concepteurs sont en mesure de modéliser et d'analyser des architectures de leur circuit au niveau transactionnel, mais ils doivent ensuite réécrire le code pour l'implémentation, source d'erreurs supplémentaires, et uniquement pour une microarchitecture donnée », constate George Harper, vice-président du marketing de Bluespec.

Pour rendre la synthèse possible, mais pas encore pour la réaliser – une annonce est prévue dans ce sens pour les prochains mois –, ESE et ESE Pro apportent au SystemC des transactions atomiques, ou règles, et des méthodes d'interface formelle automatisée. « Il est ainsi plus facile de modéliser les accès simultanés et les communications qu'avec les méthodes actuelles d'un niveau trop faible, à savoir les tâches élémentaires et les événements », explique M. Harper.

Autre avantage, les concepteurs n'ont plus à s'occuper de la planification et de la détection de blocages et d'interblocages. La solution ESE est disponible sous la forme d'une version gratuite et de la version ESE Pro payante (35 000 $ la licence annuelle) pour une simulation sous contraintes temporelles avec n'importe quel simulateur OSCI du marché.