
Catapulte
Synthèse de haut niveau C++/SystemC de pointe et prête pour le cloud avec estimation/optimisation à faible consommation d'énergie. La vérification du design, du code et de la couverture fonctionnelle ainsi que la vérification formelle font du HLS bien plus qu'un simple « C à RTL ».












