ekiwi / simulator-independent-coverageView external linksLinks
Project Repo for the Simulator Independent Coverage Research
☆21Feb 28, 2023Updated 2 years ago
Alternatives and similar repositories for simulator-independent-coverage
Users that are interested in simulator-independent-coverage are comparing it to the libraries listed below
Sorting:
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆49Apr 22, 2025Updated 9 months ago
- ☆27Mar 31, 2025Updated 10 months ago
- ☆13Apr 7, 2025Updated 10 months ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated last week
- Fuzzing for SpinalHDL☆17Oct 10, 2022Updated 3 years ago
- rfuzz: coverage-directed fuzzing for RTL research platform☆113May 12, 2022Updated 3 years ago
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆138Aug 30, 2024Updated last year
- ☆25Mar 1, 2023Updated 2 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Code repository for Coppelia tool☆23Nov 12, 2020Updated 5 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆34Updated this week
- Our repository for NSCSCC☆19Feb 22, 2025Updated 11 months ago
- A Modular Open-Source Hardware Fuzzing Framework☆36Dec 14, 2021Updated 4 years ago
- ☆33Jul 1, 2024Updated last year
- vscode-drawio增强版,提供代码跳转功能☆10Feb 20, 2025Updated 11 months ago
- ☆88Jan 20, 2023Updated 3 years ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Jan 7, 2026Updated last month
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆14Oct 16, 2025Updated 4 months ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- OpenCCA: An Open Framework to Enable Arm CCA Research☆19Sep 10, 2025Updated 5 months ago
- ☆102May 27, 2024Updated last year
- A standalone CXL-enabled system simulator.☆18Jan 10, 2026Updated last month
- work in progress, playing around with btor2 in rust☆12Feb 6, 2026Updated last week
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- ☆12Nov 14, 2023Updated 2 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- ☆13May 5, 2018Updated 7 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Oct 14, 2025Updated 4 months ago
- RV32I Single Cycle Processor (CPU)☆12Nov 14, 2021Updated 4 years ago
- ☆20Jan 30, 2026Updated 2 weeks ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- VNEC: A Vectorized Non-Empty Column Format for SpMV on cross-platform multicore CPUs☆10Feb 6, 2024Updated 2 years ago