EFSM pre-initial state + initialization action
Detected in build:
Published in build:
- Try to construct initialization action that contains assignments to default values (if they're exist in HDL). If failed, print warning message.
falsepre-inital state & add it to the EFSM model.
- Link pre-initial state with appropriate target (initial state) by initialization transition with
trueguard and initialization action.
- Try to find RESET signal by already implemented heuristic.
- Store the pre-initial state data.