☆14Sep 3, 2024Updated last year
Alternatives and similar repositories for ProcessorFuzz
Users that are interested in ProcessorFuzz are comparing it to the libraries listed below
Sorting:
- ☆13Feb 14, 2026Updated 2 weeks ago
- A Modular Open-Source Hardware Fuzzing Framework☆36Dec 14, 2021Updated 4 years ago
- Fuzzing for SpinalHDL☆17Oct 10, 2022Updated 3 years ago
- ☆17Jul 11, 2021Updated 4 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆24Jan 11, 2026Updated last month
- ☆23Jan 30, 2025Updated last year
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆49Apr 22, 2025Updated 10 months ago
- ☆89Jan 20, 2023Updated 3 years ago
- ☆25Mar 1, 2023Updated 3 years ago
- ☆102May 27, 2024Updated last year
- LLMs and the Future of Chip Design: Unveiling Security Risks and Building Trust☆38May 17, 2024Updated last year
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆45Mar 3, 2024Updated last year
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- ✔️ Port of RISCOF to check NEORV32 for RISC-V ISA compatibility.☆39Feb 22, 2026Updated last week
- Lock circuitgraphs using various logic locking techniques☆11May 2, 2023Updated 2 years ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- Automated UVM testbench generator from Verilog RTL with optional LLM integration for advanced logic creation.☆17Oct 21, 2025Updated 4 months ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 21, 2026Updated last week
- AI-ML-NLP Task Group☆13Aug 10, 2023Updated 2 years ago
- ☆12Jan 21, 2026Updated last month
- Hardware design with Chisel☆35Feb 9, 2023Updated 3 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆46Aug 25, 2021Updated 4 years ago
- Yet another bash PS1 utility.☆11Apr 23, 2017Updated 8 years ago
- Nuclei AI Library Optimized For RISC-V Vector☆14Oct 15, 2025Updated 4 months ago
- Arduino library to support Xbee Wifi modules, using SPI communication☆19Feb 17, 2015Updated 11 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆32Feb 23, 2026Updated last week
- An AI-powered coding assistant plugin for the Eclipse IDE.☆12Oct 28, 2025Updated 4 months ago
- ☆13Updated this week
- Swan Benchmark Suite☆13Sep 17, 2025Updated 5 months ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- This repository includes the data and scripts utilized in the study titled "Improving LLM-based Verilog Code Generation with Data Augment…☆13Mar 24, 2025Updated 11 months ago
- Libraries, firmwares and headers used by OpenPLC (can be used to add OpenPLC support to Arduino IDE 1.5.x)☆12Sep 30, 2014Updated 11 years ago
- ☆20Updated this week
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆16Feb 17, 2026Updated last week
- ☆12Apr 25, 2025Updated 10 months ago
- RISC-V instruction encoding/decoding☆13Mar 22, 2023Updated 2 years ago
- Handle Fast Signal Traces (fst) in Python☆14Jun 11, 2025Updated 8 months ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year