educational microarchitectures for risc-v isa

Based on Chisel3, Rift2Core is a 9-stage, out-of-order, 64-bits RISC-V Core, which supports RV64GC.

TileLink Uncached Lightweight (TL-UL) implementation on Chisel.

Hardware implementation of an OmniXtend Memory Endpoint/Lowest Point of Coherence.

Aetheron is a minimal RISC-V SoC using a TileLink-lite interconnect and basic peripherals that can run bare metal C programs

Formally-verified TileLink modules in Verilog/SystemVerilog

TL-UL is a lightweight (uncached) bus that combines the point-to-point split-transaction features of the powerful TileLink (or AMBA AXI) 5-channel bus without the high pin-count overhead.