Ο προγραμματιστής innexis pro υποστηρίζει ένα ευρύ φάσμα μοντέλων χρήσης, καλύπτοντας ολόκληρη τη ροή εργασίας σχεδιασμού από τη συν-ανάπτυξη και τη συνεπικύρωση λογισμικού/υλικού και επεκτείνεται στην ακριβή ανάλυση πριν από τον κύκλο πυριτίου και την επικύρωση IC μόλις είναι διαθέσιμο το RTL.

Οι χρήστες ξεκινούν με υπάρχουσες πλατφόρμες αναφοράς σε εικονική ή υβριδική λειτουργία. Οι πλατφόρμες αναφοράς είναι διαμορφώσιμες και μπορούν να επεκταθούν σε εικονικό υλικό, RTL και επίπεδα λογισμικού. Ο προγραμματιστής innexis pro παρέχει στους χρήστες τυποποιημένες παραμέτρους για διαμορφώσιμα μέρη πλατφόρμας.

Οι χρήστες μπορούν να ορίσουν σημεία ελέγχου κατά τη διάρκεια του χρόνου εκτέλεσης τόσο σε εικονικό επίπεδο, όσο και σε επίπεδο υλικού RTL και λογισμικού. Μόλις αποθηκευτούν, αυτά τα σημεία ελέγχου μπορούν να αποκατασταθούν σε καταστάσεις εκτέλεσης. Αυτή η δυνατότητα βελτιώνει την αποδοτικότητα και βελτιστοποιεί τη χρήση πόρων επιτρέποντας την απρόσκοπτη επανεκκίνηση από αποθηκευμένες καταστάσεις, ελαχιστοποιώντας την ανάγκη επανεκτέλεσης και βελτιώνοντας τη συνολική παραγωγικότητα της ροής εργασίας.

Με την πολυπλοκότητα των σχεδίων υλικού σήμερα - οι χρήστες βρίσκουν την ανάγκη να έχουν συνδεδεμένα πολλά SoC. Ο προγραμματιστής innexis pro επιτρέπει τη σύνδεση πολλαπλών εικονικών μηχανών στο εικονικό και το υβριδικό επίπεδο αφαίρεσης. Τόσο για τον γρήγορο εξομοιωτή (QEMU) όσο και για εικονικές μηχανές που βασίζονται σε AFM (VMs), πολλαπλά VM μπορούν να συνδεθούν μέσω προηγμένης διεπαφής eXtensible (AXI) και Peripheral Component Interconnect Express (PCIe).

Ο προγραμματιστής innexis pro ενσωματώνεται με κορυφαία προγράμματα εντοπισμού σφαλμάτων λογισμικού όπως:

• Ίχνη32
• Σχεδιαστικό στούντιο
• Συσκευές εντοπισμού σφαλμάτων GDB
• Γρήγορη επανάληψη του Codelink
• Innexis Codebench