Identification of a fault in a finite state machine
OwnerChristopher William Harkness Carvilleinventor
Life of this patent
Estimating the term…
Abstract
A computer-implemented method and a processing module for identifying that a fault has occurred in a finite-state machine (FSM). It is determined whether a set of one or more transitions that have occurred between states of the FSM is allowable. In response to determining that the set of one or more transitions is not allowable, it is identified that a fault has occurred in the FSM.
Claims20
A computer-implemented method of identifying that a fault has occurred in a finite-state machine (FSM), the method comprising:
- determining whether a set of one or more transitions that have occurred between states of the FSM is allowable;
- and
- in response to determining that the set of one or more transitions is not allowable, identifying that a fault has occurred in the FSM.
A processing module configured to identify that a fault has occurred in a finite-state machine (FSM), the processing module comprising:
- a verification unit configured to determine whether a set of one or more transitions that have occurred between states of the FSM is allowable;
- and
- a fault signalling unit configured to identify that a fault has occurred in the FSM if the verification unit indicates that the set of one or more transitions is not allowable.
A non-transitory machine readable storage medium having stored thereon an integrated circuit definition dataset that, when processed in an integrated circuit manufacturing system, configures the integrated circuit manufacturing system to manufacture a processing module configured to identify that a fault has occurred in a finite-state machine (FSM), the processing module including:
- a verification unit configured to determine whether a set of one or more transitions that have occurred between states of the FSM is allowable;
- and
- a fault signalling unit configured to identify that a fault has occurred in the FSM if the verification unit indicates that the set of one or more transitions is not allowable.
Dependencies are inferred from the claim text.