Alternatives and similar repositories for litmustestgen:

Users that are interested in litmustestgen are comparing it to the libraries listed below

• efeslab / lapidary
  Creating beautiful gem5 simulations
  ☆47Updated 3 years ago
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆32Updated 2 years ago
• ymanerka / rtlcheck
  RTLCheck
  ☆18Updated 6 years ago
• PolyArch / gem-forge-framework
  ☆23Updated last year
• NVlabs / ptxmemorymodel
  ☆48Updated 5 years ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆42Updated last year
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 7 months ago
• aakahlow / gem5Valid_Haswell
  ☆18Updated 4 years ago
• mattsinc / heterosync
  HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs
  ☆27Updated 4 months ago
• darchr / parsec-benchmark
  ☆15Updated 3 years ago
• PrincetonUniversity / IMDb-Archive
  ILA Model Database
  ☆22Updated 4 years ago
• darchr / gem5art
  Artifact, reproducibility, and testing utilites for gem5
  ☆21Updated 3 years ago
• ychen306 / vegen
  ☆28Updated 2 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 4 years ago
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆107Updated last year
• bigwater / gpunfa-artifact
  ☆19Updated 2 years ago
• melver / mc2lib
  Memory consistency model checking and test generation library.
  ☆14Updated 8 years ago
• baichen318 / arch-explorer
  ArchExplorer: Microarchitecture Exploration Via Bottleneck Analysis
  ☆31Updated 11 months ago
• UT-LCA / Scalability-Phase-Simpoint-of-SPEC-CPU2017
  ☆30Updated 4 years ago
• MPSLab-ASU / ccf
  CGRA Compilation Framework
  ☆82Updated last year
• SwarmArch / sim
  ordspecsim: The Swarm architecture simulator
  ☆24Updated last year
• esl-epfl / gem5-X
  The gem5-X open source framework (based on the gem5 simulator)
  ☆38Updated last year
• Errare-humanum-est / ProtoGen
  Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…
  ☆16Updated 3 years ago
• OCT-FPGA / OCT-Tutorials
  ☆27Updated 3 months ago
• PrincetonUniversity / MosaicSim
  Heterogeneous simulator for DECADES Project
  ☆31Updated 8 months ago
• spcl / haystack
  Haystack is an analytical cache model that given a program computes the number of cache misses.
  ☆45Updated 5 years ago
• Errare-humanum-est / HeteroGen
  We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop …
  ☆16Updated 3 years ago
• kumasento / polsca
  Polyhedral High-Level Synthesis in MLIR
  ☆30Updated last year
• ucb-bar / ccbench
  Memory System Microbenchmarks
  ☆62Updated last year
• mariobadr / statistical-simulation
  Multiple approaches to statistical simulation for computer architects
  ☆15Updated 4 years ago