dom/benchmark/README.md

Benchmarks

• EPFL
  • L. Amarú, P.-E. Gaillardon, and G. De Micheli, "The EPFL Combinational Benchmark Suite," Proceedings of the 24th International Workshop on Logic & Synthesis (IWLS), 2015.
  • https://github.com/lsils/benchmarks
• ISCAS85
  • M. C. Hansen, H. Yalcin, and J. P. Hayes, "Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering," IEEE Des. Test Comput., vol. 16, no. 3, pp. 72–80, 1999.
  • https://web.eecs.umich.edu/~jhayes/iscas.restore/benchmark.html
• IWLS93
  • K. McElvain, "IWLS'93 Benchmark Set: Version 4.0," Distributed as part of the MCNC International Workshop on Logic Synthesis '93 Benchmark Distribution, 1993.
  • http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cbl.ncsu.edu/CBL_Docs/lgs93.html
• LGSynth91
  • S. Yang, "Logic Synthesis and Optimization Benchmarks User Guide Version 3.0," Microelectronics Center of North Carolina (MCNC), 1991.
  • http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cbl.ncsu.edu/CBL_Docs/lgs91.html
• toy examples
  • hand-crafted toy examples

Most benchmarks can be downlowded from Prof. Petr Fišer's Collection of Digital Design Benchmarks.