A method and apparatus are provided for functionally verifying an integrated circuit design. A hardware-oriented verification-specific object-oriented programming language is used to construct and customize verification tests. The language is extensible, and shaped to provide elements for stimulating and observing hardware device models. The invention is platform and simulator-independent, and is adapted for integration with Verilog, VHDL, and C functions. A modular system environment ensures interaction with any simulator through a unified system interface that supports multiple external types. A test generator module automatically creates verification tests from a functional description. A test suite can include any combination of statically and dynamically-generated tests. Directed generation constrains generated tests to specific functionalities. Test parameters are varied at any point during generation and random stability is supported. A checking module can perform any combination of static and dynamic checks. Incremental testing permits gradual development of test suites throughout the design development process. Customized reports of functional coverage statistics and cross coverage reports can be generated. A graphical user interface facilitates the debugging process. High-Level Verification Automation facilities, such as the ability to split and layer architecture and test files, are supported. Both verification environments and test suites can be reused.

Μια μέθοδος και μια συσκευή παρέχονται για λειτουργικά να ελέγξουν ένα σχέδιο ολοκληρωμένων κυκλωμάτων. Μια υλικό-προσανατολισμένη στο επαλήθευση-συγκεκριμένη αντικειμενοστρεφής γλώσσα προγραμματισμού χρησιμοποιείται για να κατασκευάσει και να προσαρμόσει τις δοκιμές επαλήθευσης. Η γλώσσα είναι εκτατή, και διαμορφωμένος για να παρέχει τα στοιχεία για την υποκίνηση και την παρατήρηση των προτύπων συσκευών υλικού. Η εφεύρεση είναι πλατφόρμα και προσομοιωτής-ανεξάρτητος, και προσαρμόζεται για την ολοκλήρωση με τις λειτουργίες Verilog, VHDL, και γ. Ένα μορφωματικό περιβάλλον συστημάτων εξασφαλίζει αλληλεπίδραση με οποιοδήποτε προσομοιωτή μέσω μιας ενοποιημένης διεπαφής συστημάτων που υποστηρίζει τους πολλαπλάσιους εξωτερικούς τύπους. Μια ενότητα γεννητριών δοκιμής δημιουργεί αυτόματα τις δοκιμές επαλήθευσης από μια λειτουργική περιγραφή. Μια ακολουθία δοκιμής μπορεί να περιλάβει οποιοδήποτε συνδυασμό statically και τις δυναμικά-παραγμένες δοκιμές. Η κατευθυνόμενη παραγωγή περιορίζει τις παραγμένες δοκιμές στις συγκεκριμένες λειτουργίες. Οι παράμετροι δοκιμής είναι ποικίλες σε οποιοδήποτε σημείο κατά τη διάρκεια της παραγωγής και η τυχαία σταθερότητα υποστηρίζεται. Μια ενότητα ελέγχου μπορεί να εκτελέσει οποιοδήποτε συνδυασμό στατικών και δυναμικών ελέγχων. Η επαυξητική δοκιμή επιτρέπει τη βαθμιαία ανάπτυξη των ακολουθιών δοκιμής σε όλη τη διαδικασία ανάπτυξης σχεδίου. Οι προσαρμοσμένες εκθέσεις των λειτουργικών στατιστικών κάλυψης και οι διαγώνιες εκθέσεις κάλυψης μπορούν να παραχθούν. Ένα γραφικό ενδιάμεσο με τον χρήστη διευκολύνει τη διαδικασία διόρθωσης. Οι υψηλού επιπέδου εγκαταστάσεις αυτοματοποίησης επαλήθευσης, όπως η δυνατότητα να χωρίσουν και αρχιτεκτονικής και δοκιμής στρώματος τα αρχεία, υποστηρίζονται. Και τα περιβάλλοντα επαλήθευσης και οι ακολουθίες δοκιμής μπορούν να επαναχρησιμοποιηθούν.