Repository Index

Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)

• hardware
• cpucore
• risc-v
• rv32

AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication

• axi
• axi4
• axi4-lite
• systemverilog

Official repository of the AWS EC2 FPGA Hardware and Software Development Kit

A Verilog synthesis flow for Minecraft redstone circuits