A multicore microprocessor test harness for measuring interference
☆14Apr 16, 2020Updated 5 years ago
Alternatives and similar repositories for multicore-test-harness
Users that are interested in multicore-test-harness are comparing it to the libraries listed below
Sorting:
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Jul 17, 2019Updated 6 years ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- DASS HLS Compiler☆29Oct 4, 2023Updated 2 years ago
- A suite of tools for Petri Nets☆13Oct 26, 2022Updated 3 years ago
- ☆12Jul 3, 2019Updated 6 years ago
- SAMO: Streaming Architecture Mapping Optimisation☆34Oct 4, 2023Updated 2 years ago
- ☆16Apr 13, 2018Updated 7 years ago
- This CLI tool and Python3 module collects the current system state for documentation☆22Oct 30, 2025Updated 4 months ago
- On the Effects of Quantisation on Model Uncertainty in Bayesian Neural Networks☆18Apr 8, 2024Updated last year
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Jul 18, 2024Updated last year
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- A Virtual Machine Research Overview as a Graph☆25Dec 21, 2025Updated 2 months ago
- Pannotia v0.9 is a suite of OpenCL graph applications☆24Sep 13, 2017Updated 8 years ago
- ☆22Sep 27, 2022Updated 3 years ago
- Implementation of Microscaling data formats in SystemVerilog.☆29Jul 6, 2025Updated 8 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- ☆25Apr 21, 2020Updated 5 years ago
- A tool to generate optimized hardware files for univariate functions.☆29Apr 5, 2024Updated last year
- Performance and resource models for fpgaConvNet: a Streaming-Architecture-based CNN Accelerator.☆32Nov 7, 2024Updated last year
- Languages, Tools, and Techniques for Accelerator Design☆33Nov 2, 2021Updated 4 years ago
- ☆35Jul 28, 2025Updated 7 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆75Nov 15, 2015Updated 10 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆31Jan 7, 2022Updated 4 years ago
- ☆44Jul 14, 2025Updated 7 months ago
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆98Jan 29, 2026Updated last month
- Compiler for Swiftlet☆40May 7, 2024Updated last year
- Performance engineering for the rest of us.☆31Oct 3, 2025Updated 5 months ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- SIGPLAN website☆13Updated this week
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Nov 14, 2024Updated last year
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Aug 25, 2024Updated last year
- Flexible local Fourier analysis library.☆12Jun 22, 2021Updated 4 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- 💤 Relaxation labelling to refine edge detection 💤☆11Jul 29, 2019Updated 6 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago