A state machine block for high-level synthesis. - Shadi Assadikhomami; Jennifer Ongko; Tor M. Aamodt (FPT, 2017)