herd / herdtools7Links
The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆271Updated this week
Alternatives and similar repositories for herdtools7
Users that are interested in herdtools7 are comparing it to the libraries listed below
Sorting:
- Generic model checker for concurrent C programs (mirror repository)☆155Updated last month
- A verification tool for many memory models☆101Updated this week
- ROB size testing utility☆157Updated 3 years ago
- A formalization of the RVWMO (RISC-V) memory model☆35Updated 3 years ago
- rmem public repo☆48Updated 4 months ago
- ☆203Updated last week
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆54Updated 8 months ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆103Updated last year
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆483Updated 3 months ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆47Updated 2 months ago
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆140Updated 3 months ago
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆66Updated 11 months ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆30Updated 6 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- uops.info Code Analyzer☆290Updated last year
- ☆63Updated last year
- Verification and optimization tool for concurrent code☆25Updated 2 months ago
- Updated C version of the Test Suite for Vectorising Compilers☆66Updated last year
- Arm C Language Extensions (ACLE)☆114Updated last month
- PARSEC Benchmark http://parsec.cs.princeton.edu 3.0-beta-20150206 ported to Ubuntu 22.04 and with proper version control and SPLASH2 port…☆98Updated 10 months ago
- PARSEC 3.0 benchmark suite☆11Updated 7 years ago
- ☆386Updated this week
- ☆207Updated 3 years ago
- ☆139Updated last month
- Sail architecture definition language☆787Updated this week
- An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.☆120Updated 3 years ago
- The MiBench testsuite, extended for use in general embedded environments☆105Updated 12 years ago
- ESESC: A Fast Multicore Simulator☆138Updated 4 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆149Updated 2 months ago
- Memory System Microbenchmarks☆63Updated 2 years ago