Skip to main content
Αυτή η σελίδα εμφανίζεται με χρήση αυτόματης μετάφρασης. Προβολή στα Αγγλικά;

Εξασφαλίστε πληρότητα επαλήθευσης

Veloce Coverage and Assertion App

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


Επικοινωνήστε με την ομάδα πωλήσεών μας 1-800-547-3000

Μηχανικοί εντοπισμού σφαλμάτων και ολοκληρωμένου κυκλώματος.

Γιατί η εφαρμογή Veloce Coverage and Assertion App;

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

  • Ποσοτικοποιήσιμα δεδομένα σχετικά με τον έλεγχο του κώδικα και την εκτέλεση χαρακτηριστικών
  • Επαναχρησιμοποιήσιμη κάλυψη και ισχυρισμοί μέσω διαφορετικών σταδίων επαλήθευσης
  • Συγχώνευση και ανάλυση κλεισίματος κάλυψης για μια προοπτική υψηλότερου επιπέδου των προσπαθειών επαλήθευσης
  • Διατίθεται εντοπισμός σφαλμάτων βάσει ισχυρισμών σε πλατφόρμες επαλήθευσης με τη βοήθεια υλικού

Βασικά χαρακτηριστικά

Κάλυψη κώδικα και λειτουργική κάλυψη

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

Μηχανικός κωδικοποίησης σε φορητό υπολογιστή.

Εντοπισμός σφαλμάτων βάσει ισχυρισμών

Για πάγκους δοκιμών που δεν διαθέτουν ενσωματωμένες οθόνες ή πούλια, οι ισχυρισμοί μπορούν να χρησιμοποιηθούν με την εφαρμογή Coverage and Assertion που παρακολουθεί τον αριθμό των φορών που πυροδοτούνται. Επίσης, οι ενεργοποιητές που βασίζονται σε ισχυρισμούς μπορούν να χρησιμοποιηθούν για την ενεργοποίηση συμπεριφορών κατά την ενεργοποίηση, όπως η δημιουργία κυματομορφής ή η εκτέλεση δοκιμής.

Εντοπισμός σφαλμάτων ενός ολοκληρωμένου κυκλώματος.

Ενιαίο κλείσιμο κάλυψης

Η εφαρμογή Coverage and Assertion παρέχει τη δυνατότητα όχι μόνο ενεργοποίησης και απενεργοποίησης της κάλυψης, αλλά και συγχώνευσης κάλυψης. Αυτό παρέχει τη δυνατότητα συνδυασμού όσων συλλέχθηκαν προηγουμένως για να έχετε μια πιο ολιστική άποψη της επαλήθευσης. Η κάλυψη που συλλέγεται τόσο από το Questa όσο και από το Veloce μπορεί επίσης να συγχωνευθεί μαζί.

Λογισμικό C ++ για ανάλυση σφαλμάτων.

Διαλειτουργικότητα της Siemens EDA

Η εφαρμογή Coverage and Assertion μπορεί να συνδυαστεί με άλλα εργαλεία της Siemens EDA για να εξασφαλιστεί πλήρης δοκιμή συγκεκριμένων πτυχών σχεδιασμού. Για παράδειγμα, η εφαρμογή μπορεί να συνδυαστεί με την εφαρμογή Veloce Power για τη δημιουργία στοχευμένων φορτίων εργασίας για δοκιμές ισχύος συστήματος και υποσυστήματος.

Εξοπλισμός αναλυτών κυματομορφών.

Σχετικοί πόροι