☆22Aug 21, 2025Updated 6 months ago
Alternatives and similar repositories for verification-benchmarks
Users that are interested in verification-benchmarks are comparing it to the libraries listed below
Sorting:
- ☆25Feb 19, 2026Updated last month
- ☆13Apr 25, 2025Updated 10 months ago
- This repository contains 4000 vulnerable hardware designs. Currently this is in Jsonl format for directly using it for fine-tuning LLMs. …☆22Mar 25, 2025Updated 11 months ago
- Pre-Silicon Hardware Fuzzing Toolkit☆61Aug 18, 2025Updated 7 months ago
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16May 12, 2024Updated last year
- Class project for COMP-781, Robotics. This is a CUDA-based collision detector for motion planning.☆13Apr 29, 2019Updated 6 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆24Mar 8, 2026Updated last week
- A security oriented SoC featuring a custom pipelined RISC-V core and LCD-TFT controller☆18Dec 26, 2020Updated 5 years ago
- A C++ PMU and/or PDC Stream Simulator for IEEE C37.118.2☆12May 21, 2019Updated 6 years ago
- StateMover is a checkpoint-based debugging framework for FPGAs.☆22Jul 14, 2022Updated 3 years ago
- A Simple CPP Static Analysis Framework☆21Jun 16, 2023Updated 2 years ago
- Remote Attestation VErification☆35Jul 29, 2024Updated last year
- ☆28Sep 18, 2024Updated last year
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- A basic implementation of a SAT attack on logic locking.☆13Jun 30, 2021Updated 4 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆99Mar 29, 2024Updated last year
- Hack@DAC 2021☆18Jul 24, 2024Updated last year
- A curated list of research and repositories on the novel technique of hardware fuzzing☆20Mar 8, 2026Updated last week
- Eliminating Keystroke Timing Attacks☆22Dec 12, 2017Updated 8 years ago
- RISC-V vector extension ISA simulation☆16Jun 11, 2019Updated 6 years ago
- FreeRTOS for RISC-V☆27Jan 30, 2019Updated 7 years ago
- New Cache implementation using Gem5☆13Apr 2, 2014Updated 11 years ago
- Motion Planning framework with visualization for autonomous driving☆12Aug 5, 2025Updated 7 months ago
- Repo with everything you need (- the Lineage) to convert a 2nd gen Amazon Fire Stick to Lineage 12/Android 5.1 (clean Android TV!)☆28Jan 18, 2026Updated 2 months ago
- ☆21Mar 30, 2023Updated 2 years ago
- A Benchmark Suite for Real-Time Robotics☆12May 3, 2023Updated 2 years ago
- ☆12Jan 1, 2015Updated 11 years ago
- 存储iot设备分析工具和分析文件☆14May 28, 2021Updated 4 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆37Oct 17, 2025Updated 5 months ago
- Implementation VexRiscv on ultra96☆13Apr 18, 2022Updated 3 years ago
- Parallel RRT* - A fast parallel robotic motion planner (in C)☆14Aug 9, 2012Updated 13 years ago
- ☆33Dec 23, 2025Updated 2 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆55May 26, 2025Updated 9 months ago
- ☆16Feb 9, 2022Updated 4 years ago
- Simple implementation of scientific paper 'GAC: Graph-Based Alert Correlation for the Detection of Distributed Multi-Step Attacks'☆19May 12, 2019Updated 6 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆103Updated this week
- Usenix Security'23☆16Feb 14, 2023Updated 3 years ago
- Web scraping engines with Python and Scrapy☆33Sep 24, 2020Updated 5 years ago
- ☆39Oct 11, 2025Updated 5 months ago