Speculative expectation based event verification

Details Speculative expectation based event verification Speculative expectation based event verification

2003-11-12

2009-08-11

Shah, Kamini S (Department: 2128)

Data processing: structural design, modeling, simulation, and em

Simulating electronic device or electrical system

C711S137000, C703S023000

Reexamination Certificate

active

07574341

ABSTRACT:
A computer implemented method of verifying events generated by an agent includes detecting a stimulus at an input of the agent and determining whether generation of an event by the agent in response to the stimulus is conditional. An expectation of the event is created based at least in part on the stimulus, wherein the agent is expected to generate the event. The method also includes making the expectation speculative if the generation of the event is conditional.

REFERENCES:
patent: 5721855 (1998-02-01), Hinton et al.
patent: 5812811 (1998-09-01), Dubey et al.
patent: 5835704 (1998-11-01), Li et al.
patent: 5919256 (1999-07-01), Widigen et al.
patent: 5948100 (1999-09-01), Hsu et al.
patent: 6345371 (2002-02-01), Lam
patent: 6412046 (2002-06-01), Sharma et al.
patent: 2002/0083271 (2002-06-01), Mounes-Toussi
patent: 2003/0177320 (2003-09-01), Sah et al.
patent: 2003/0226123 (2003-12-01), Thompson et al.
patent: 2003/0229740 (2003-12-01), Maly et al.
patent: 2004/0003175 (2004-01-01), Maly et al.
patent: 2004/0010781 (2004-01-01), Maly et al.
patent: 2004/0109362 (2004-06-01), Gongwer et al.
patent: 2390919 (2004-01-01), None
Eric Brewer, “Speculative Execution” Advanced Topics in Computer Systems, 4 pages, http://www.cs.berkeley.edu/˜brewer/cs262/Lec-Speculator.pdf.
U.S. Appl. No. 10/712,902 “Expectation Based Event Verification” of John W. Maly et al. filed Nov. 12, 2003.
U.S. Appl. No. 10/712,518 “Partial Write Data Tracking During Expectation Based Event Verification” of John W. Maly et al. filed Nov. 12, 2003.

Affiliated with

Also associated with

Rating

Speculative expectation based event verification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Speculative expectation based event verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Speculative expectation based event verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4092338