icsnju / VeriXmithLinks
A tool for cross-checking Verilog compilers
☆14Updated 7 months ago
Alternatives and similar repositories for VeriXmith
Users that are interested in VeriXmith are comparing it to the libraries listed below
Sorting:
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 3 months ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Updated 6 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆13Updated 2 weeks ago
- A enumerator for MLIR, relying on the information given by IRDL.☆20Updated 2 weeks ago
- Asynchronous semantics for architectural simulation and synthesis.☆57Updated last week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated last month
- A translation validation framework for MLIR☆89Updated 8 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Updated 2 months ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Updated last year
- Exploring CXL on QEMU Emulation☆26Updated 9 months ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Updated 5 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆15Updated 6 months ago
- A set of tools that automate the execution of scarab simulations☆18Updated this week
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Updated 2 years ago
- A unified programming framework for high and portable performance across FPGAs and GPUs☆11Updated 8 months ago
- ☆13Updated last year
- Handwritten GEMM using Intel AMX (Advanced Matrix Extension)☆17Updated 10 months ago
- 面向可信执行环境的OS。☆12Updated 6 months ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆16Updated last year
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 9 months ago
- A Framework for Automated Validation of Deep Learning Training Tasks☆55Updated 2 months ago
- BTOR2 MLIR project☆26Updated last year
- Implements kernels with RISC-V Vector☆22Updated 2 years ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆20Updated 5 years ago
- What if everything is a io_uring?☆16Updated 3 years ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆34Updated 10 months ago