Methods and apparatus for modeling and verifying a set of...

Details Methods and apparatus for modeling and verifying a set of... Methods and apparatus for modeling and verifying a set of...

2005-05-17

2005-05-17

Raymond, Edward (Department: 2857)

Data processing: measuring, calibrating, or testing

Measurement system

Performance or efficiency evaluation

C709S208000

Reexamination Certificate

active

06895367

ABSTRACT:
A method for modeling and verifying a set of transactions between a set of master devices and a set of slave devices that are coupled via a bus. The method includes determining a set of dependencies for the set of transactions, executing the set of transactions on the bus, and observing the set of transactions for the dependencies. If the set of transactions does not comprise the dependencies, the method additionally includes logging a status for the set of transactions.

REFERENCES:
patent: 5949981 (1999-09-01), Childers
patent: 5996036 (1999-11-01), Kelly
patent: 6144888 (2000-11-01), Lucas et al.

Affiliated with

Also associated with

Rating

Methods and apparatus for modeling and verifying a set of... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and apparatus for modeling and verifying a set of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and apparatus for modeling and verifying a set of... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3446054