btor-benchmarks Collection of word-level hardware model checking benchmarks in the BTOR2 format. Some other sources of hardware / btor benchmarks http://fmv.jku.at/aiger/index.html#beem https://es-static.fbk.eu/tools/verilog2smv/ https://github.com/rajdeep87/verilog-c