Alcatel Space a expérimenté le logiciel Catapult C de Mentor qui assure une synthèse directe d’un algorithme écrit en C en un code RTL synthétisable. Cet outil lui a permis de réduire la discontinuité entre le modèle C de référence et la description RTL, mais aussi d’explorer plusieurs architectures RTL possibles sans modifier le modèle

…