•Specific inference capabilities for synchronous Finite State Machine (FSM) components.
•Built-in FSM encoding strategies to accommodate your optimization goals.
•FSM extraction is enabled by default.
•Use -fsm_extraction off to disable FSM extraction.