herd / herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆220Updated this week
Related projects: ⓘ
- ROB size testing utility☆128Updated 2 years ago
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆107Updated this week
- ☆225Updated this week
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆40Updated 5 months ago
- Sail RISC-V model☆428Updated this week
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆38Updated 3 months ago
- A verification tool for many memory models☆74Updated this week
- rmem public repo☆40Updated last month
- ☆58Updated 2 months ago
- ☆96Updated last month
- Generic model checker for concurrent C programs (mirror repository)☆104Updated last week
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆436Updated 3 weeks ago
- Working Draft of the RISC-V J Extension Specification☆161Updated this week
- TinyEMU based full system cycle-level micro-architectural research simulator for single-core RISC-V systems☆143Updated 2 years ago
- Sail architecture definition language☆588Updated this week
- A formalization of the RVWMO (RISC-V) memory model☆30Updated 2 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆136Updated 2 months ago
- ☆151Updated this week
- Tools to process ARM's Machine Readable Architecture Specification☆119Updated 4 years ago
- Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains☆142Updated last week
- Tools and Reference Code for Intel Optimizations (eg Large Pages)☆130Updated 3 weeks ago
- ☆191Updated 2 years ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆91Updated 4 months ago
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆72Updated 10 months ago
- ☆266Updated 4 months ago
- Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…☆114Updated 3 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 2 years ago
- ☆282Updated this week
- AMD Research Instruction Based Sampling Toolkit☆77Updated 3 years ago
- Rust RISC-V Virtual Machine☆84Updated last year