IP Library Granted Patent US 9,645,882
Granted Patent B2
US 9,645,882 · App. 12/178,257 · Granted May 9, 2017

Field repairable logic

Inventors: Valeria Bertacco (Ann Arbor, MI); Todd Michael Austin (Ann Arbor, MI); Ilya Wagner (Ann Arbor, MI)
Assignee: The Regents of the University of Michigan
G06F11/08
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 9,645,882
App. No.
12/178,257
Granted
May 9, 2017
Kind
B2
Abstract

A state matcher for a logic circuit may detect at least one of a buggy state of the logic circuit, a precursor to a buggy state of the logic circuit and a verified state of the logic circuit based on a plurality of signal values indicative of a state of the logic circuit. A recovery controller for a microprocessor may reconfigure the microprocessor to a trusted feature mode in response to receiving a signal indicating that the microprocessor is in a predefined state and operate the microprocessor in the trusted feature mode for a predetermined period of time.

Claims (25)

1. A method for state matching and recovering a microprocessor, the method comprising:

sampling a plurality of signal values indicative of at least one state of the microprocessor;

comparing at least some of the signal values with one or more signatures of signal values each representing one or more precursors to an untrusted state of the microprocessor;

determining whether the at least one state of the microprocessor is in one of the precursors to the untrusted state based on the comparing; and

initiating reconfiguration of the microprocessor to a trusted state in response to the at least one state of the microprocessor being in one of the precursors to the untrusted state.

2. The method of claim 1 further comprising loading storage cells with the one or more signatures of signal values.

3. The method of claim 1 wherein the at least one state of the microprocessor comprises a microarchitectural state of the microprocessor or a logic circuit state of the microprocessor.

4. A recovery controller for a microprocessor comprising:

a logic block configured to

receive a triggering signal (i) that results from a comparison of sampled signal values indicative of a state of the microprocessor with one or more signatures of signal values each representing one or more precursors to an untrusted state of the microprocessor, and (ii) that indicates that the microprocessor is in one of the precursors to the untrusted state,

initiate reconfiguration of the microprocessor to a trusted feature mode in response to the triggering signal, and

operate the microprocessor in the trusted feature mode for a period of time to avoid the untrusted state.

5. The recovery controller of claim 4 wherein the logic block is further configured to reconfigure the microprocessor to a full feature mode after the period of time.

6. A method for controlling a logic circuit comprising:

sampling a plurality of signal values indicative of a state of the logic circuit;

initiating reconfiguration of the logic circuit to a trusted feature mode in response to a comparison of at least some of the signal values with one or more signatures of signal values, each representing one or more precursors to an untrusted state of the logic circuit, indicating that the state of the logic circuit is a precursor to an untrusted state; and

operating the logic circuit in the trusted feature mode for a predetermined period of time.

7. The method of claim 6 further comprising reconfiguring the logic circuit to a full feature mode after the predetermined period of time.

8. A state matcher for a logic circuit comprising:

a logic block configured to detect a precursor to an untrusted state of the logic circuit based on a comparison of sampled signal values indicative of a state of the logic circuit with one or more signatures of signal values each representing one or more precursors to the untrusted state of the logic circuit, and to initiate reconfiguration of the logic circuit to a trusted feature mode.

9. A recovery controller for a microprocessor comprising:

a logic block configured to,

detect a precursor to an untrusted state of the microprocessor based on a comparison of sampled signal values indicative of a state of the microprocessor with one or more signatures of signal values each representing one or more precursors to the untrusted state of the microprocessor,

reconfigure the microprocessor to a trusted feature mode in response to the detecting, and

operate the microprocessor in the trusted feature mode for a predetermined period of time.

Assignments (2)
CONFIRMATORY LICENSE Recorded Apr 19, 2011
From: UNIVERSITY OF MICHIGAN
To: DARPA
Reel/Frame 026147/0875 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Jul 23, 2008
From: BERTACCO, VALERIA; AUSTIN, TODD MICHAEL; WAGNER, ILYA
To: THE REGENTS OF THE UNIVERSITY OF MICHIGAN
Reel/Frame 021279/0944 →
Continuity (2)
Provisional Application 60951564 · Jul 24, 2007
Related Publication 20090089615A1 · Apr 2, 2009