Project Repo for the Simulator Independent Coverage Research
☆21Feb 28, 2023Updated 3 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 10 months ago
- ☆28Mar 31, 2025Updated 11 months ago
- ☆13Feb 14, 2026Updated 3 weeks ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Updated this 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)☆139Aug 30, 2024Updated last year
- ☆25Mar 1, 2023Updated 3 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.☆37Mar 1, 2026Updated last week
- Our repository for NSCSCC☆19Feb 22, 2025Updated last year
- A Modular Open-Source Hardware Fuzzing Framework☆36Dec 14, 2021Updated 4 years ago
- ☆33Jul 1, 2024Updated last year
- vscode-drawio增强版,提供代码跳转功能☆10Feb 20, 2025Updated last year
- ☆89Jan 20, 2023Updated 3 years ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Jan 7, 2026Updated 2 months ago
- OpenCCA: An Open Framework to Enable Arm CCA Research☆21Sep 10, 2025Updated 5 months ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 4 months ago
- ☆102May 27, 2024Updated last year
- ☆20Jan 30, 2026Updated last month
- ☆13May 5, 2018Updated 7 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- ☆12Jan 13, 2025Updated last year
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- VNEC: A Vectorized Non-Empty Column Format for SpMV on cross-platform multicore CPUs☆10Feb 6, 2024Updated 2 years ago
- ☆11Nov 27, 2024Updated last year
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- A standalone CXL-enabled system simulator.☆19Jan 10, 2026Updated last month