In reply to dave_59:
Thanks for the feedback, Dave! Yeah, I might actually get rid of the next state stuff altogether since I’m not generating synthesizable code. Otherwise making the state assignment nonblocking would be very sensible.
Is there anything else that should be improved? I’d be surprised if I did it relatively right on the first attempt!