Popular repositories Loading

1. axi-bfm axi-bfm Public

   AXI3 Bus Functional Models (Initiator & Target)

   SystemVerilog 30 14

2. wzv wzv Public

   wzv — record now, get waveforms later

   C++ 25

3. axi-verif axi-verif Public

   # AXI SVA Assertion Library SystemVerilog assertion library for AXI4 and AXI4-Lite, derived from *ARM IHI 0022C — AMBA AXI Protocol Specification v2.0*.

   SystemVerilog 9 1

4. flxsys flxsys Public

   5

5. circuitprover-sv circuitprover-sv Public

   CircuitProver-SV: Agentic Lean 4 Verification of Parameterized SystemVerilog with Verilator-Validated Models

   Lean 2

6. hdl hdl Public

   Forked from analogdevicesinc/hdl

   HDL libraries and projects

   Verilog 1 2