Method and apparatus for invalid state detection

   
   

A method is described that comprises determining a state machine design point from a plurality of state machine design point options. At least one of the plurality of state machine design point options corresponds to a safe design point. The method then further comprises, if the safe design point is the determined state machine design point, forming a safe state machine model. The safe state machine model has valid state logic separated from invalid state logic. Another method is described that comprises detecting an invalid state of a state machine with invalid state logic and setting a state machine register to a valid state with the invalid state logic. The method then further comprises continuing valid state operation of the state machine with valid state logic. The valid state logic is separated from the invalid state logic.

Se describe un método que abarca la determinación de un punto del diseño de la máquina del estado de una pluralidad de opciones del punto del diseño de la máquina del estado. Por lo menos uno de la pluralidad de opciones del punto del diseño de la máquina del estado corresponde a un punto seguro del diseño. El método entonces fomenta abarca, si el punto seguro del diseño es el punto resuelto del diseño de la máquina del estado, formando un modelo seguro de la máquina del estado. El modelo seguro de la máquina del estado tiene lógica válida del estado separada de lógica inválida del estado. Se describe otro método que abarca la detección de un estado inválido de una máquina del estado con lógica inválida del estado y fijar un registro de la máquina del estado a un estado válido con la lógica inválida del estado. El método entonces fomenta abarca la operación válida de continuación del estado de la máquina del estado con lógica válida del estado. La lógica válida del estado se separa de la lógica inválida del estado.

 
Web www.patentalert.com

< Flexible schemes for applying properties to information in a medium

< Apparatus for and method of pattern recognition and image analysis

> Abradable dry powder coatings, methods for making and coating, and coated articles therefrom

> FAIMS apparatus and method using carrier gas of mixed composition

~ 00112