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.
