NDK-FPGA

Network Development Kit:

How to start
NDK Terminology
NDK Architecture
NDK testing
Performance report
Configuration files and parameters
Build System
Device Tree
Frequently Asked Questions

Applications

Minimal NDK application
Top-Level Simulation using cocotb/cocotbext-ndk

Reusable Modules Library

Basic Tools
Controllers & TSU
MI Tools
MFB Tools
MVB Components
Network Tools
PCIe Tools
Debug Tools
UVM Verification

Bus Specifications

MI bus specification
MVB Specification
MFB specification

Cocotb/CocotbExt

cocotbext-ndk
Getting Started with Verifications Using cocotb/cocotbext-ndk

GitLab CI/CD Tools

Verible Tools

Supported Cards

ReflexCES XpressSX AGI-FH400G
Intel Stratix 10 DX FPGA DK
Silicom fb4CGg3@VU9P
Silicom fb2CGhh@KU15P
Silicom N6010
Silicom fb2CDg1@AGM39D-2
Bittware IA-420F
Bittware IA-440I
AMD Alveo U200
AMD Alveo U55C
AMD VCU118@VU9P
PRO DESIGN Falcon
Terasic A2700
iWave G35P
Napatech NT200A02

NDK-FPGA

Index

Index

© Copyright 2025, CESNET z.s.p.o..

Built with Sphinx using a theme provided by Read the Docs.