Join P4FPGA email list:

https://groups.google.com/forum/#!forum/p4fpga-dev

As a member of P4FPGA-dev, you can send support requests to p4fpga-dev@googlegroups.com

Bootstrap environment

bash bootstrap_env.sh

Build P4FPGA from Source

git submodule update --init --recursive
bash bootstrap.sh
cd build
make -j8

Generated Bluespec Organization

Main.bsv : contains top level module for connectal framework.

• Runtime.bsv
• Program.bsv

Board.bsv : contains runtime environment for p4 program

• PHY + MAC

Channels.bsv : contains various in/out channels to pipeline

• RxChannel : uses Parser.bsv
• TxChannel : uses Deparser.bsv
• DMAChannel/HostChannel : uses Parser.bsv
• ReEntryChannel : uses Parser.bsv
• DropChannel
• StreamingChannel
• PktGenChannel
• PktCapChannel

Memory.bsv :

• Shared memory (optional)

Program.bsv : contains p4 program according to architecture specification in arch.p4

• Stream Arbitration (maybe part of program.bsv)
• Stream Demultiplexer (maybe part of program.bsv)
• Control.bsv
• Table.bsv
• Action.bsv

Parser.bsv : contains parser implementation

• parser is usually instantiated on a per-port basis, to ensure scalability
• current implementation uses 128-bit datapath width @ 250 MHz

Deparser.bsv : contains deparser implementation

• current implementation uses 128-bit datpath width @ 250 MHz

Control.bsv : contains control flow and pipeline implementation

• instantiate p4 table and action engine
• connect table and action engine according to control flow

Table.bsv :

• per P4 table instance
• include simulation model for match table

Action.bsv :

• per P4 action instance
• include ALU / Bluespec operator / DSP-based action engine

Compiler Organization

backend.cpp:

• entry point to fpga backend
• translate IR::TopLevelBlock to FPGA program
• generate Top.bsv
• Top : Platform, Runtime, Pipeline, API

channel.cpp :

• generate Channel.bsv
• Supported channels: RxChannel, TxChannel, DMAChannel, ReEntryChannel*, DropChannel*, PktGenChannel, PktCapChannel

program.cpp :

• generate Program.bsv
• Program(arch, runtime)

pipeline.cpp :

• generate Pipeline.bsv based on arch.p4
• arch specifies sequence of parser, deparser and control blocks
• v1model : parser -> ingress -> egress -> deparser

control.cpp :

• generate Control.bsv
• Control.bsv contain Ingress and Egress
• Ingress/Egress implement control flow for tables and actions
• Table/action can be empty to evaluate cost of pipeline.

table.cpp :

• implement p4 table (bcam, tcam)

action.cpp :

• implement p4 action
• dsp optimizes arithmetic and logic operations
• bluespec operator implement boolean operations