SYNTLOG: FSM Benchmarks Evaluation for FPGA

Samary Baranov, Danila Gorodecky

We introduce a curated benchmark collection of \num{101} FSM descriptions organized into five size classes (\emph{small}, \emph{medium}, \emph{large}, \emph{huge}, \emph{super-huge…