ReqTracer

Σε αυτό το διαδικτυακό σεμινάριο, θα μάθετε πώς να εφαρμόζετε ταυτόχρονους ισχυρισμούς χρησιμοποιώντας SystemVerilog Assertions (SVA) και να αποκτήσετε μια βαθύτερη κατανόηση του τρόπου με τον οποίο μπορούν να συμπληρώσουν τις υπάρχουσες μεθοδολογίες επαλήθευσης.

Ο Harry Foster επισημαίνει τα βασικά ευρήματα από τη Μελέτη Λειτουργικής Επαλήθευσης της Ομάδας Έρευνας Wilson του 2022 και παρέχει την ερμηνεία και την ανάλυσή του πίσω από τις σημερινές αναδυόμενες τάσεις στο σχεδιασμό και την επαλήθευση ASIC και FPGA.

Σε αυτό το διαδικτυακό σεμινάριο, θα μάθετε πώς ενεργοποιούνται τα UVM Framework και Questa Verification IP

δημιουργία testbench σε μια μέρα, ώστε η ομάδα να μπορεί να επικεντρωθεί στη δημιουργία δοκιμών και στο κλείσιμο της κάλυψης.

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

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

Σε αυτό το διαδικτυακό σεμινάριο, θα μάθετε ότι το SystemVerilog έχει πολλούς δυναμικούς τύπους δεδομένων και συστοιχιών. Θα σας δείξουν ποια θα επιλέξετε για πίνακες αποτελεσμάτων, αραιές μνήμες, συστοιχίες κατακερματισμού, πάγκους δοκιμών και πολλά άλλα.

Σε αυτό το διαδικτυακό σεμινάριο, μάθετε πώς μπορείτε να μοντελοποιήσετε καταχωρητές υλικού μέχρι το επίπεδο bit ή να δημιουργήσετε σύνθετους τύπους δεδομένων που περιέχουν ένα μείγμα διαφορετικών στοιχείων, όπως λογική 4 καταστάσεων, ακέραιους αριθμούς 2 καταστάσεων, πραγματικούς αριθμούς και απαριθμημένους τύπους.

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

Σε αυτό το διαδικτυακό σεμινάριο, θα μάθετε να δημιουργείτε τάξεις για ακολουθίες UVM, που περιέχουν μία ή περισσότερες συναλλαγές, πώς μια δοκιμαστική τάξη ξεκινά μια ακολουθία και πώς οι συναλλαγές ρέουν από και προς την ακολουθία στον υπόλοιπο πάγκο δοκιμών.

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

Σε αυτό το διαδικτυακό σεμινάριο, θα μάθετε τις αλλαγές στο UVM 1800.2 από το UVM 1.2 και το 1.1d, ώστε να είστε προετοιμασμένοι να υιοθετήσετε το νέο Πρότυπο. Θα καλύψουμε βασικές προσθήκες στο UVM 1800.2 και τι υπάρχει στο νέο UVM Cookbook.