The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 21, 2015
Filed:
Oct. 31, 2011
Stefan Letz, Boeblingen, DE;
Joerg Deutschle, Winnenden, DE;
Bodo Hoppe, Tamm, DE;
Erica Stuecheli, Austin, TX (US);
Brian W. Thompto, Austin, TX (US);
Stefan Letz, Boeblingen, DE;
Joerg Deutschle, Winnenden, DE;
Bodo Hoppe, Tamm, DE;
Erica Stuecheli, Austin, TX (US);
Brian W. Thompto, Austin, TX (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
A simulation environment verifies processor-sparing functions in a simulated processor core. The simulation environment executes a first simulation for a simulated processor core. During the simulation, the simulation environment creates a simulation model dump file. At a later point in time, the simulation environment executes a second simulation for the simulated processor core. The simulation environment saves the state of the simulated processor core. The simulation environment then replaces the state of the simulated processor core by loading the previously created simulation model dump file. The simulation environment then sets the state of the simulated processor core to execute processor-sparing code and resumes the second simulation.