@misc{indiciaec957a5a84aa4,
  title = {SYNTLOG: FSM Benchmarks Evaluation for FPGA},
  author = {Samary Baranov and Danila Gorodecky},
  year = {2026},
  url = {https://arxiv.org/abs/2608.23288},
  note = {Source identifier: 2608.23288}
}