Code generator for finite state machines
AssigneeSiemens Aktiengesellschaft
InventorNikolaus Demharter
Life of this patent
Estimating the term…
Abstract
The present invention relates to a method for automatically generating HDL code, a code generator and a product for generating the code for the purpose of its implementation in programmable logic, based on a graphical representation for coding a state machine. With the method according to the invention, state transitions are executed on the basis of a modified query structure in that, starting from a target state, all the preconditions are derived which must be fulfilled in order to reach said target state.
Claims13
A method for automatically generating an HDL code based on a graphical representation for coding a state machine, comprising:
- executing by a computer state transitions of the state machine by a backward-directed query starting from a target state;
- and
- reaching the target state based on the backward-directed query,
- wherein a state vector of the generated code is not used in a subsequent synthesis.
A code generator for generating an HDL code based on a graphical representation for coding a state machine, comprising:
- a query module that initiates a backward-directed query starting from a target state of the state machine;
- and
- a synthesis device that reaches the target state based on the backward-directed query,
- wherein a state vector of the generated code is not used in a subsequent synthesis.
A computer readable medium comprising computer program, when executed by a computer, cause the computer to generate an HDL code based on a graphical representation for coding a state machine, the computer program comprising:
- a computer sub program that executes state transitions of the state machine by a backward-directed query starting from a target state;
- and
- a computer sub program that reaches the target state based on the backward-directed query,
- wherein a state vector of the generated code is not used in a subsequent synthesis.
Dependencies are inferred from the claim text.