Electrical computers: arithmetic processing and calculating – Electrical digital calculating computer – Particular function performed
Reexamination Certificate
2008-03-28
2011-11-08
Malzahn, David H (Department: 2193)
Electrical computers: arithmetic processing and calculating
Electrical digital calculating computer
Particular function performed
Reexamination Certificate
active
08055697
ABSTRACT:
A method and device may be useful for dynamically verifying a processor architecture at runtime. The checker may more efficiently and cheaply verify at least some of the functionality provided by the execution unit of the processor architecture. The checker may verify operations such as addition, subtraction, multiplication, and division.
REFERENCES:
patent: 4994993 (1991-02-01), Asghar et al.
patent: 5506800 (1996-04-01), Dao-Trong
patent: 5880982 (1999-03-01), Evans
patent: 7035891 (2006-04-01), Makineni et al.
patent: 2004/0044717 (2004-03-01), Makineni et al.
Todd M. Austin “DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design” Proceedings of the 32nd annual ACM/IEEE international symposium on Microarchitecture , 1999.
Todd M. Austin “DIVA: A Dynamic Approach to Microprocessor Verification” Journal of Instruction-Level Parallelism 2 (2000).
R. E. Lyons, W. Vanderkulk “The Use of Triple-Modular Redundancy to Improve Computer Reliability” vol. 6, No. 2, pp. 200-209 (Apr. 1962) Nontopical Issue.
Eric Rotenberg, “AR-SMT: A Microarchitectural Approach to Fault Tolerance in Microprocessors”, Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, 1999.
Intel Corporation
Malzahn David H
Schawbe, Williamson & Wyatt, P.C.
LandOfFree
Method and device for dynamically verifying a processor... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and device for dynamically verifying a processor..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and device for dynamically verifying a processor... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4281573