Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

SoSy-Lab
Research
Data
Word-Level HWMC Benchmarks

W

Word-Level HWMC Benchmarks

Project information

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

203 Commits
9 Branches
1 Tag

README

Created on

August 01, 2022

Copy SSH clone URLgit@gitlab.com:sosy-lab/research/data/word-level-hwmc-benchmarks.git
Copy HTTPS clone URLhttps://gitlab.com/sosy-lab/research/data/word-level-hwmc-benchmarks.git