ithemal / DiffTuneLinks
☆20Updated 4 years ago
Alternatives and similar repositories for DiffTune
Users that are interested in DiffTune are comparing it to the libraries listed below
Sorting:
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆98Updated 3 years ago
- ☆35Updated 4 years ago
- BEER determines an ECC code's parity-check matrix based on the uncorrectable errors it can cause. BEER targets Hamming codes that are use…☆19Updated 5 years ago
- RTLCheck☆24Updated 7 years ago
- DATuner Repository☆17Updated 7 years ago
- Artifact, reproducibility, and testing utilites for gem5☆23Updated 4 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Updated last year
- A survey on architectural simulators focused on CPU caches.☆16Updated 5 years ago
- Base repo of a workable zsim on newer version of Ubuntu, with PIN-2.14 binary (the original zSim no longer works)☆14Updated 3 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 4 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 5 months ago
- A Language for Closed-form High-level ARchitecture Modeling☆21Updated 5 years ago
- ☆11Updated 7 months ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- Polyhedral High-Level Synthesis in MLIR☆35Updated 2 years ago
- ☆13Updated 3 years ago
- ☆41Updated 3 months ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆13Updated 10 months ago
- ☆24Updated 5 years ago
- Source code for the architectural and circuit-level simulators used for modeling the CROW (Copy-ROW DRAM) mechanism proposed in our ISCA …☆15Updated 6 years ago
- ☆36Updated 6 years ago
- AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks☆46Updated 2 years ago
- ☆21Updated 6 years ago
- Memory consistency model checking and test generation library.☆16Updated 9 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated 2 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆17Updated 2 months ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago