Combinational Circuits Random CNF benchmarks DIMACS sampling benchmarks The EPFL Combinational Benchmark Suite Sequential Circuits ISCAS89 circuits Hardware Model Checking Competition Benchmarks ZipCPU circuits with plenty of assertions