I still think that FGPA should be thought in the perspective of building an ASIC. And that most ASIC should be thought like Keep It Simple Stupid device that have to handle state machine autonomously.
Encapsulation of the abstraction begins at the HW level.
I really don't like FSM handled by an external system.