Error detection/correction and fault detection/recovery – Pulse or data error handling – Digital logic testing
Reexamination Certificate
2003-11-12
2010-10-19
Gaffin, Jeffrey A (Department: 2117)
Error detection/correction and fault detection/recovery
Pulse or data error handling
Digital logic testing
C714S025000, C714S718000, C714S724000, C365S201000, C324S765010
Reexamination Certificate
active
07818646
ABSTRACT:
A computer implemented method of verifying events generated by an agent includes detecting an input signal at an input of the agent, generating an expected output signal based at least in part on the input signal, detecting an output signal at an output of the agent, wherein the output signal is a translation of the input signal generated by the agent, and comparing the output signal with the expected output signal to verify whether the agent produced the output signal correctly based on the input signal.
REFERENCES:
patent: 3614608 (1971-10-01), Giedd et al.
patent: 5051938 (1991-09-01), Hyduke
patent: 5515384 (1996-05-01), Horton, III
patent: 5570376 (1996-10-01), Kunda et al.
patent: 5617429 (1997-04-01), Goto
patent: 5640403 (1997-06-01), Ishiyama et al.
patent: 5790565 (1998-08-01), Sakaguchi
patent: 5831996 (1998-11-01), Abramovici et al.
patent: 5903475 (1999-05-01), Gupte et al.
patent: 6493841 (2002-12-01), Kim et al.
patent: 6564349 (2003-05-01), Mitten et al.
patent: 6820220 (2004-11-01), Dominke et al.
patent: 6885956 (2005-04-01), Baba
patent: 6938236 (2005-08-01), Park et al.
patent: 7111214 (2006-09-01), Chaudhary et al.
patent: 7165231 (2007-01-01), Buckley, Jr.
patent: 7292970 (2007-11-01), Hurlock
patent: 7526422 (2009-04-01), Nemecek
patent: 2001/0013110 (2001-08-01), Pierce et al.
patent: 2002/0120891 (2002-08-01), Bartenstein et al.
patent: 2002/0138800 (2002-09-01), Kim et al.
patent: 2002/0188888 (2002-12-01), Rivoir
patent: 2005/0010886 (2005-01-01), Urata et al.
patent: 2005/0108596 (2005-05-01), Deaton
Maly John Warren
Smith Zachary Steven
Thompson Ryan Clarence
Gaffin Jeffrey A
Hewlett--Packard Development Company, L.P.
Merant Guerrier
LandOfFree
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 Expectation based event verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Expectation based event verification will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4162940