samehattia / StateMover
StateMover is a checkpoint-based debugging framework for FPGAs.
☆19Updated 2 years ago
Alternatives and similar repositories for StateMover:
Users that are interested in StateMover are comparing it to the libraries listed below
- contains TLM2 based interfaces for AXI, ACE, CHI and other standard protocols☆55Updated 2 weeks ago
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆53Updated 3 years ago
- ☆27Updated 3 weeks ago
- Advanced Architecture Labs with CVA6☆59Updated last year
- ☆46Updated 6 years ago
- HW-SW Co-Simulation Library for AMBA AXI BFM using DPI/VPI☆31Updated 4 months ago
- Open source RTL simulation acceleration on commodity hardware☆25Updated 2 years ago
- a hardware design library based on SpinalHDL, especially for stream processing operators on Xilinx FPGAs for Arithmetic, DSP, Communicati…☆62Updated last year
- DUTH RISC-V Superscalar Microprocessor☆31Updated 6 months ago
- SystemVerilog Functional Coverage for RISC-V ISA☆28Updated 7 months ago
- An example of using Ramulator as memory model in a cycle-accurate SystemC Design☆50Updated 7 years ago
- ☆14Updated 3 months ago
- ☆33Updated last month
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆56Updated last month
- matrix-coprocessor for RISC-V☆14Updated 2 weeks ago
- RiftCore is a 9-stage, single-issue, out-of-order 64-bits RISC-V Core, which supports RV64IMC and 3-level Cache System☆41Updated 2 years ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆71Updated 3 weeks ago
- Platform Level Interrupt Controller☆40Updated last year
- Open-source AMBA CHI infrastructures (supporting Issue B, E.b)☆18Updated last week
- General Purpose AXI Direct Memory Access☆49Updated 11 months ago
- HLS for Networks-on-Chip☆34Updated 4 years ago
- ☆27Updated 4 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆74Updated 9 years ago
- IEEE 754 single and double precision floating point library in systemverilog and vhdl☆65Updated 4 months ago
- RISC-V IOMMU in verilog☆17Updated 2 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆26Updated last year
- Pick your favorite language to verify your chip.☆49Updated this week
- RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute f…☆34Updated 2 weeks ago
- ☆25Updated last year
- YosysHQ SVA AXI Properties☆37Updated 2 years ago