Cette extension donne aux développeurs de logiciels l’opportunité de vérifier et déboguer leurs logiciels plus tôt dans le projet.

Cadence Design Systems, leader de l’innovation pour la conception électronique, annonce l’intégration de sa solution de modélisation et vérification au niveau transactions (TLM) avec les environnements de logiciels enfouis standard de l’industrie.
“Cadence Incisive Enterprise Simulator (IES)” et “Incisive Software Extensions (ISX) TLM” supportent ainsi désormais la co-vérification matériel/logiciel TLM basée sur la méthodologie de vérification ouverte (OVM), le codébogage matériel/logiciel unifié TLM et C/C++ et le débogage symbolique du logiciel embarqué pour les compilateurs C/C++ ARM, GNU et Green Hills Software.

Cette extension donne aux développeurs de logiciels l’opportunité de vérifier et déboguer plus tôt leurs logiciels dans le projet et de réduire le temps de mise sur le marché de produits combinant matériel et logiciel.