toolsForUarch / GeST
GeST (Generating Stress-Tests) is a Genetic Algorithm framework for automatic hardware stress-test generation. Related scientific publication https://ieeexplore.ieee.org/document/8695639
☆14Updated 5 years ago
Alternatives and similar repositories for GeST:
Users that are interested in GeST are comparing it to the libraries listed below
- RTLCheck☆21Updated 6 years ago
- Microprobe: Microbenchmark generation framework☆21Updated 9 months ago
- An FPGA-based NetTLP adapter☆25Updated 5 years ago
- SCARV: a side-channel hardened RISC-V platform☆26Updated 2 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆56Updated 5 years ago
- VM-HDL Co-Simulation for Servers with PCIe-Connected FPGAs☆47Updated 4 years ago
- Documentation for the BOOM processor☆47Updated 8 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated 2 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- OmniXtend cache coherence protocol☆80Updated 4 years ago
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆91Updated 3 weeks ago
- A Modular Open-Source Hardware Fuzzing Framework☆32Updated 3 years ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆17Updated 2 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆52Updated last week
- ☆60Updated 2 months ago
- A Verilog Synthesis Regression Test☆37Updated last year
- pcie-bench code for NetFPGA/VCU709 cards☆35Updated 6 years ago
- RISC-V Nexus Trace TG documentation and reference code☆50Updated 3 months ago
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆51Updated 3 years ago
- PCIe library for the Xilinx 7 series FPGAs in the Bluespec language☆78Updated 3 years ago
- CVA6 SDK containing RISC-V tools and Buildroot☆64Updated 10 months ago
- LeWiz Communications Ethernet MAC Core2 10G/5G/2.5G/1G☆35Updated 2 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆82Updated 6 months ago
- Repo for all activity related to the ODSA Bunch of Wires Specification☆24Updated last year
- Testing processors with Random Instruction Generation☆37Updated 3 weeks ago
- A template for building new projects/platforms using the BOOM core.☆24Updated 6 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- Memory consistency model checking and test generation library.☆15Updated 8 years ago
- ☆61Updated 4 years ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆61Updated 11 months ago