The present invention is a grid that is a monitor that detects a cross product of design verification events and reports a single status event to a database. One embodiment of the present invention comprises axes declarations, logic expressions, and a grid declaration. An axes declaration produces a cross product of verification events. A logic expressions evaluates whether a specific verification event has occurred. A grid declaration returns the status event. The present invention further comprises a grid where the cross-product of verification events comprises a fully or a sparsely populated cross-product of verification events. Additionally, the present invention further comprises a grid that uses N-Nary signals. And, the present invention comprises a parser to translate the monitor source file code into a standard computer language code.

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

 
Web www.patentalert.com

< Methods for managing memory in a run-time environment including activation and deactivation of objects

< Object security boundaries

> Method and apparatus for aggressively rendering data in a data processing system

> Dynamically managing the topology of a data network

~ 00078