t-crest / patmos-benchmarks
A collection of benchmarks and tests for the Patmos processor and compiler
☆17Updated 2 months ago
Alternatives and similar repositories for patmos-benchmarks:
Users that are interested in patmos-benchmarks are comparing it to the libraries listed below
- Memory consistency model checking and test generation library.☆14Updated 8 years ago
- A formalization of the RVWMO (RISC-V) memory model☆32Updated 2 years ago
- Creating beautiful gem5 simulations☆47Updated 3 years ago
- A fast and scalable x86-64 multicore simulator☆31Updated 3 years ago
- RTLCheck☆19Updated 6 years ago
- ILA Model Database☆22Updated 4 years ago
- Heterogeneous simulator for DECADES Project☆31Updated 8 months ago
- A wrapper for the SPEC CPU2006 benchmark suite.☆86Updated 3 years ago
- Memory System Microbenchmarks☆62Updated 2 years ago
- The gem5-X open source framework (based on the gem5 simulator)☆38Updated last year
- ESESC: A Fast Multicore Simulator☆134Updated 3 years ago
- The MiBench testsuite, extended for use in general embedded environments☆87Updated 12 years ago
- ☆19Updated 10 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- A parallel and distributed simulator for thousand-core chips☆22Updated 6 years ago
- CGRA Compilation Framework☆82Updated last year
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 11 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 5 months ago
- ☆14Updated 2 years ago
- ☆18Updated 5 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated last year
- TACLe Benchmarks☆41Updated 3 months ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- PARADE: A Cycle-Accurate Full-System Simulation Platform for Accelerator-Rich Architectural Design and Exploration☆46Updated 2 years ago
- CoreIR Symbolic Analyzer☆63Updated 4 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆75Updated 7 months ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆65Updated this week
- The Splash-3 benchmark suite☆42Updated last year
- ☆30Updated 4 years ago
- A behavioural cache model for analysing the cache behaviour under side-channel attack.☆22Updated 4 months ago