Επίτευξη γρηγορότερου κλεισίματος επαλήθευσης σχεδίασης

Σε μεγάλα έργα σχεδιασμού τσιπ, η προσπάθεια επαλήθευσης λογικής μπορεί να είναι μεγαλύτερη από την προσπάθεια σχεδιασμού, καταλαμβάνοντας έως και 70% του χρόνου του έργου με βάση δεδομένα από το 2022 Wilson Research Group ευρήματα. Δυστυχώς, το πρώτο ποσοστό επιτυχίας με πυρίτιο μειώθηκε από 31 τοις εκατό σε μόλις 24 τοις εκατό τα τελευταία 8 χρόνια, προκαλώντας μια άλλη περιστροφή για τη διόρθωση των ελαττωμάτων, κοστίζοντας τις εταιρείες να χάσουν χρόνο στην αγορά και σίγουρα βλάπτοντας τα σχέδια εσόδων τους. Η καλύτερη επαλήθευση θα βελτίωνε σίγουρα την πρώτη επιτυχία του πυριτίου, αλλά αυτό είναι πιο εύκολο να το πεις παρά να το κάνεις.

Μερικοί άλλοι αποθαρρυντικοί αριθμοί από τη μελέτη της Wilson Research Group:

• ASIC – 24% επιτυχία πρώτης φοράς, 36% τερματισμός εγκαίρως
• FPGA – Το 16% επιτυγχάνει μηδενικές διαφυγές σφαλμάτων, το 30% τελειώνει έγκαιρα

Η επαλήθευση σχεδίασης έχει πολλές δύσκολες δουλειές: εντοπισμός σφαλμάτων, δημιουργία δοκιμών και στη συνέχεια λειτουργία κινητήρων, ανάπτυξη πάγκου δοκιμών και σχεδιασμός δοκιμών. Στην ιδανική περίπτωση, η ομάδα σας θέλει να ελαχιστοποιήσει τους χρόνους περιστροφής, να φτάσει στο κλείσιμο της επαλήθευσης με τα λιγότερα άτομα και να υπολογίσει πόρους, να τηρήσει τη συμμόρφωση με την ασφάλεια και να γνωρίζει πότε η ποιότητα σχεδίασης είναι αρκετά υψηλή ώστε να σταματήσει την επαλήθευση, τηρώντας παράλληλα το χρονοδιάγραμμα του έργου.

Πρόσφατα έλαβα μια ενημέρωση από τον ειδικό επαλήθευσης σχεδιασμού Darron May στη Siemens EDA για να μάθω για κάτι που μόλις ανακοινώθηκε, που ονομάζεται Questa Verification IQ. Η προσέγγισή τους αφορά την επαλήθευση βάσει δεδομένων που διαμορφώνεται γύρω από τη χρήση της ιχνηλασιμότητας, της συνεργασίας και των αναλυτικών στοιχείων που υποστηρίζονται από AI/ML. Τα παραδοσιακά αναλυτικά στοιχεία παρείχαν περιορισμένη παραγωγικότητα και διορατικότητα για την απλή περιγραφή και διάγνωση της λογικής συμπεριφοράς, ενώ τα αναλυτικά στοιχεία που βασίζονται σε μεγάλα δεδομένα που χρησιμοποιούν AI/ML προσφέρουν προγνωστικές και ρυθμιστικές ενέργειες για επαλήθευση. Οι ομάδες λογισμικού και υλικού γίνονται πιο παραγωγικές με τη συνεργασία μέσω της χρήσης του CI (Συνεχής ενσωμάτωση), Ευκίνητος μεθόδους, ALM (Διαχείριση Κύκλου Ζωής Εφαρμογών), σχεδιασμός βάσει cloud και εφαρμογή τεχνικών AI/ML. Οι κρίσιμες για την ασφάλεια βιομηχανίες έχουν ανάγκη για ιχνηλασιμότητα μεταξύ απαιτήσεων, υλοποίησης και επαλήθευσης, όπως ορίζονται σε βιομηχανικά πρότυπα όπως το ISO 26262 και το DO-254.

Εδώ είναι η μεγάλη εικόνα του πώς το Quest Verification IQ συνδέει όλα τα δεδομένα από διάφορες μηχανές επαλήθευσης σε μια ροή που βασίζεται σε δεδομένα, μαζί με ένα εργαλείο ALM.

Τα δεδομένα κάλυψης συλλέγονται από λογική προσομοίωση (αυτό), Εξομοίωση και Πρωτοτυποποίηση (Veloce), AMS (Συμφωνία), Επίσημο (OneSpin), Static και FuSa. Η δυνατότητα ML αναλύει όλα αυτά τα δεδομένα προκειμένου να προβλέψει μοτίβα και να αποκαλύψει τυχόν τρύπες, να επισημάνει τις βασικές αιτίες και, στη συνέχεια, να συνταγογραφήσει ενέργειες για τη βελτίωση της κάλυψης. Το ALM που εμφανίζεται είναι Polarion από τη Siemens, αν και θα μπορούσατε να χρησιμοποιήσετε ένα άλλο ALM, όπως ακριβώς μπορείτε να χρησιμοποιήσετε τις αγαπημένες σας μηχανές επαλήθευσης.

Το Questa Verification IQ είναι ένα πλαίσιο που βασίζεται σε πρόγραμμα περιήγησης που περιλαμβάνει έναν οδηγό διαδικασίας, ώστε να μπορείτε να δημιουργήσετε μια κρίσιμη ροή ασφάλειας χρησιμοποιώντας τη διαχείριση κύκλου ζωής για να σχεδιάζετε και να παρακολουθείτε όλες τις απαιτήσεις. Ο πλοηγός παλινδρόμησης επιτρέπει στην ομάδα σας να δημιουργεί και να εκτελεί δοκιμές, να παρακολουθεί τα αποτελέσματα και να έχει πλήρες ιστορικό επαλήθευσης. Με τον αναλυτή κάλυψης γνωρίζετε πόσο ολοκληρωμένη είναι η κάλυψή σας για κώδικα, λειτουργικά μπλοκ και δοκιμαστικά σχέδια. Τέλος, τα αναλυτικά στοιχεία δεδομένων που παρουσιάζονται σας παρέχουν μια πλατφόρμα μετρήσεων, χρησιμοποιώντας πίνακες εργαλείων έργων και παρέχοντας πολλαπλές αναλύσεις.

Το πλαίσιο που βασίζεται στο web προσαρμόζεται σε κάθε μέγεθος έργου ηλεκτρονικών ειδών και δεν θα χρειαστεί να εγκαταστήσετε οποιοδήποτε λογισμικό ή να ανησυχείτε για τη διατήρηση του λειτουργικού σας συστήματος ενημερωμένο. Υποστηρίζει επίσης δημόσιες, ιδιωτικές ή υβριδικές ρυθμίσεις cloud. Με την εφαρμογή του AI/ML, η διαδικασία κλεισίματος επαλήθευσης επιταχύνεται, ενώ η προσπάθεια εντοπισμού σφαλμάτων επιταχύνεται, καθώς η ανάλυση της βασικής αιτίας βοηθά στον εντοπισμό του σημείου βελτίωσης.

Έκανα στον Ντάρον Μέι μερικές διευκρινιστικές ερωτήσεις.

Ε: Μπορώ να συνδυάσω και να συνδυάσω το Questa Verification IQ με οποιοδήποτε εργαλείο προμηθευτή EDA και ALM;

A: Το Questa Verification IQ υποστηρίζει εργαλεία και κινητήρες ALM μέσω μιας προσέγγισης που βασίζεται σε πρότυπα. Συνδέεται με τα εργαλεία ALM χρησιμοποιώντας Open Services for Lifecycle Collaboration (OSLC), ώστε να μπορεί να χρησιμοποιηθεί οποιοδήποτε εργαλείο που υποστηρίζει το πρότυπο όπως Doors next ή Siemens Polarion και Teamcenter. Οποιοσδήποτε κινητήρας μπορεί να λανσαριστεί από το Questa Verification IQ και πάλι έχουμε υποστήριξη για κάλυψη μέσω του Unified Coverage Interoperability Standard (UCIS).

Ε: Πώς συγκρίνεται αυτή η προσέγγιση με το Synopsys DesignDash;

A: Το Synopsys DesignDash εστιάζει στην ML για δεδομένα σχεδίασης, ενώ το Questa Verification IQ εστιάζει στην επαλήθευση βάσει δεδομένων με χρήση αναλυτικών στοιχείων, συμπεριλαμβανομένης της ML, για να επιταχύνει το κλείσιμο της επαλήθευσης, να μειώσει τους χρόνους ολοκλήρωσης και να παρέχει τη μέγιστη απόδοση της διαδικασίας. Το Questa Verification IQ παρέχει εφαρμογές που απαιτούνται για τη συλλογική διαχείριση επαλήθευσης βάσει ομάδας σε ένα πλαίσιο που βασίζεται σε πρόγραμμα περιήγησης με κεντρική πρόσβαση στα δεδομένα.

Ε: Πώς συγκρίνεται αυτή η προσέγγιση με το Cadence Verisium;

A: Το Cadence Verisium εστιάζει μόνο στην επαλήθευση με τη βοήθεια ML. Συγκριτικά, το Siemens Questa Verification IQ παρέχει ολοκληρωμένη λύση επαλήθευσης βάσει δεδομένων που υποστηρίζεται από το Analytics, τη Συνεργασία και την Ιχνηλασιμότητα. Η διαχείριση επαλήθευσης παρέχεται σε ένα εργαλείο που βασίζεται σε πρόγραμμα περιήγησης με εφαρμογές που βασίζονται στη Συνεργασία. Το Coverage Analyzer φέρνει το πρώτο συνεργατικό εργαλείο κλεισίματος κάλυψης του κλάδου χρησιμοποιώντας αναλυτική πλοήγηση με τη βοήθεια ML. Το Question Verification IQ διασυνδέεται με το Siemens Polarion χρησιμοποιώντας OSLC και παρέχει μια αυστηρή ιχνηλασιμότητα ψηφιακού νήματος με τη Διαχείριση Κύκλου Ζωής Εφαρμογών χωρίς αλλαγή περιβάλλοντος διεπαφής χρήστη, φέρνοντας τη δύναμη του ALM στην επαλήθευση υλικού.

Χαρακτηριστικά

Πάντα εντυπωσιάζομαι με τα νέα εργαλεία EDA που κάνουν μια περίπλοκη εργασία πιο εύκολη, δουλεύοντας πιο έξυπνα, χωρίς να απαιτούν από τους μηχανικούς να καταβάλλουν περισσότερες ώρες χειροκίνητης προσπάθειας. Με τις πρώιμες εγκρίσεις του Questa Verification IQ από γνωστές εταιρείες όπως η Arm και η Nordic Semiconductor, φαίνεται ότι η Siemens EDA έχει προσθέσει κάτι συναρπαστικό για τις ομάδες επαλήθευσης που πρέπει να εξετάσουν.

Σχετικά ιστολόγια

Μοιραστείτε αυτήν την ανάρτηση μέσω:

• SEO Powered Content & PR Distribution. Ενισχύστε σήμερα.
• Platoblockchain. Web3 Metaverse Intelligence. Ενισχύθηκε η γνώση. Πρόσβαση εδώ.
• πηγή: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/