search

tejasvissa813 / fsmProject

0 stars 0 forks source link

Functional state transition specification #4

Open zsisco opened 7 months ago

zsisco commented 7 months ago

Extend FSM state transition grammar to allow state transitions to be specified through functions.

For example:

next_state(state, input) = (state + 1) mod N
output(state, input) = if (state == N) || (input == 1) then 1 else 0