Patent · US Active

Determine soft error resilience while verifying architectural compliance

US10896118B2 · kind B2 · utility

0Cited by

20References

20Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Ophir Erez · Haifa, IL
Bodo Hoppe · Tamm, DE
Divya K. Joshi · Bengaluru, IN
Gerrit Koch · Herrenberg, DE
Parminder Singh · Savanuru, IN

Key dates

Filing date	Mar 29, 2019
Grant date	Jan 19, 2021
Priority date	—
Expiry date	Mar 29, 2039

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/0778
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Verifying architectural compliance of a processor core using processor-sparing functions. A simulation of a model for a register-transfer level design of the processor core is performed. A first state of the model is dumped, when no error exists. An error is injected in the model. A second state of the model is dumped, after the injected error is detected in the simulation. Upon dumping the second state, the model is reset and initialized with the first state. State information of the second state is loaded in the reset and initialized model.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.