CTSRD-CHERI / axe
Consistency checker for memory subsystem traces
☆14Updated 8 years ago
Alternatives and similar repositories for axe:
Users that are interested in axe are comparing it to the libraries listed below
- Documentation for the BOOM processor☆47Updated 7 years ago
- RISC-V BSV Specification☆18Updated 5 years ago
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆50Updated 3 years ago
- 👾 Design ∪ Hardware☆72Updated 2 months 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
- ☆43Updated 3 weeks ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆138Updated last month
- Block-diagram style digital logic visualizer☆23Updated 9 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- The BERI and CHERI processor and hardware platform☆46Updated 7 years ago
- A Verilog Synthesis Regression Test☆35Updated 9 months ago
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆70Updated last year
- Original RISC-V 1.0 implementation. Not supported.☆41Updated 6 years ago
- Open Processor Architecture☆26Updated 8 years ago
- A time-predictable processor for mixed-criticality systems☆57Updated 2 months ago
- The specification for the FIRRTL language☆49Updated last week
- A fault-injection framework using Chisel and FIRRTL☆34Updated last year
- OmniXtend cache coherence protocol☆78Updated 4 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆79Updated 3 months ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆98Updated 5 years ago
- A scala based simulator for circuits described by a LoFirrtl file☆47Updated 2 years ago
- Testing processors with Random Instruction Generation☆30Updated last week
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated last year
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Experiments with fixed function renderers and Chisel HDL☆59Updated 5 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
- Hardware generator debugger☆73Updated 11 months ago
- A Rocket-based RISC-V superscalar in-order core☆29Updated 2 months ago
- FPGA reference design for the the Swerv EH1 Core☆69Updated 5 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated last month