herd / herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆226Updated this week
Related projects ⓘ
Alternatives and complementary repositories for herdtools7
- ROB size testing utility☆134Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆134Updated 2 months ago
- rmem public repo☆40Updated 3 months ago
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆40Updated 7 months ago
- A verification tool for many memory models☆77Updated this week
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆117Updated this week
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆38Updated 6 months ago
- Working Draft of the RISC-V J Extension Specification☆169Updated last month
- Updated C version of the Test Suite for Vectorising Compilers☆51Updated 8 months ago
- ☆162Updated this week
- Time-sensitive affine types for predictable hardware generation☆134Updated 4 months ago
- The Splash-3 benchmark suite☆42Updated last year
- Rust RISC-V Virtual Machine☆88Updated 2 weeks ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆110Updated 5 years ago
- CSiBE☆33Updated 2 years ago
- RISC-V support for LLVM projects (LLVM, Clang, ...)☆253Updated 3 months ago
- Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains☆145Updated this week
- ☆30Updated 2 years ago
- TinyEMU based full system cycle-level micro-architectural research simulator for single-core RISC-V systems☆146Updated 2 years ago
- CHERI-RISC-V model written in Sail☆55Updated last week
- Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…☆118Updated 3 years ago
- ☆150Updated 8 months ago
- A translation validation framework for MLIR☆73Updated last week
- PARSEC Benchmark http://parsec.cs.princeton.edu 3.0-beta-20150206 ported to Ubuntu 22.04 and with proper version control and SPLASH2 port…☆85Updated this week
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆21Updated last month
- ☆113Updated 3 months ago
- Memory System Microbenchmarks☆61Updated last year
- NOELLE Offers Empowering LLVM Extensions☆77Updated this week
- Sail architecture definition language☆619Updated this week
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆74Updated last year