From TRS to Synchronous FSM
Extract state elements (registers) from the type declaration
Extract state transition logic from the rules
Previous slide
Next slide
Back to first slide
View graphic version