mc-imperial / multicore-test-harnessView external linksLinks
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
- An API built to enable one-line-of-code access to accelerated open-source and custom AI models.☆67Mar 29, 2024Updated last year
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Feb 6, 2026Updated last week
- 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
- This CLI tool and Python3 module collects the current system state for documentation☆22Oct 30, 2025Updated 3 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 last month
- ☆22Sep 27, 2022Updated 3 years ago
- Implementation of Microscaling data formats in SystemVerilog.☆29Jul 6, 2025Updated 7 months ago
- ☆25Apr 21, 2020Updated 5 years 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
- Official implementation of EMNLP'23 paper "Revisiting Block-based Quantisation: What is Important for Sub-8-bit LLM Inference?"☆24Oct 25, 2023Updated 2 years ago
- A tool to generate optimized hardware files for univariate functions.☆29Apr 5, 2024Updated last year
- Multi-core Window-Based Stream Processing Engine☆73Oct 20, 2021Updated 4 years ago
- Performance and resource models for fpgaConvNet: a Streaming-Architecture-based CNN Accelerator.☆32Nov 7, 2024Updated last year
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Jun 8, 2016Updated 9 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Nov 2, 2021Updated 4 years ago
- ☆35Jul 28, 2025Updated 6 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.☆97Jan 29, 2026Updated 2 weeks ago
- Performance engineering for the rest of us.☆31Oct 3, 2025Updated 4 months ago
- Compiler for Swiftlet☆39May 7, 2024Updated last year
- ☆10Nov 5, 2019Updated 6 years ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks 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 3 months ago
- 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
- An LSTM template and a few examples using Vivado HLS☆47May 4, 2024Updated last year