W

Word-level HWMC Benchmarks

Collection of word-level hardware model checking benchmarks in Btor2, C, and AIGER formats.