2015-01-29 13:17:45 -05:00
|
|
|
import math
|
2015-01-28 03:14:01 -05:00
|
|
|
from collections import OrderedDict
|
|
|
|
|
|
|
|
from migen.fhdl.std import *
|
2015-01-28 18:25:55 -05:00
|
|
|
from migen.fhdl.decorators import ModuleDecorator
|
2015-01-28 03:14:01 -05:00
|
|
|
from migen.genlib.resetsync import AsyncResetSynchronizer
|
2015-01-28 05:45:19 -05:00
|
|
|
from migen.genlib.record import *
|
|
|
|
from migen.genlib.fsm import FSM, NextState
|
2015-01-28 13:07:59 -05:00
|
|
|
from migen.genlib.misc import chooser
|
2015-01-27 18:33:26 -05:00
|
|
|
from migen.flow.actor import EndpointDescription
|
2015-01-28 05:45:19 -05:00
|
|
|
from migen.flow.actor import Sink, Source
|
|
|
|
from migen.actorlib.structuring import Converter, Pipeline
|
|
|
|
from migen.actorlib.fifo import SyncFIFO, AsyncFIFO
|
|
|
|
from migen.bank.description import *
|
2015-01-27 18:33:26 -05:00
|
|
|
|
|
|
|
eth_mtu = 1532
|
|
|
|
eth_preamble = 0xD555555555555555
|
|
|
|
buffer_depth = 2**log2_int(eth_mtu, need_pow2=False)
|
|
|
|
|
2015-01-28 16:43:58 -05:00
|
|
|
class HField():
|
|
|
|
def __init__(self, byte, offset, width):
|
|
|
|
self.byte = byte
|
|
|
|
self.offset = offset
|
|
|
|
self.width = width
|
|
|
|
|
2015-01-29 13:17:45 -05:00
|
|
|
ethernet_type_ip = 0x800
|
|
|
|
ethernet_type_arp = 0x806
|
|
|
|
|
2015-01-28 16:43:58 -05:00
|
|
|
mac_header_len = 14
|
|
|
|
mac_header = {
|
|
|
|
"destination_mac_address": HField(0, 0, 48),
|
|
|
|
"source_mac_address": HField(6, 0, 48),
|
|
|
|
"ethernet_type": HField(12, 0, 16)
|
|
|
|
}
|
|
|
|
|
2015-01-29 13:17:45 -05:00
|
|
|
arp_packet_length = 60
|
|
|
|
arp_hwtype_ethernet = 0x0001
|
|
|
|
arp_proto_ip = 0x0800
|
|
|
|
arp_opcode_request = 0x0001
|
|
|
|
arp_opcode_reply = 0x0002
|
2015-01-28 19:03:47 -05:00
|
|
|
|
2015-01-28 16:43:58 -05:00
|
|
|
arp_header_len = 28
|
|
|
|
arp_header = {
|
|
|
|
"hardware_type": HField( 0, 0, 16),
|
|
|
|
"protocol_type": HField( 2, 0, 16),
|
|
|
|
"hardware_address_length": HField( 4, 0, 8),
|
|
|
|
"protocol_address_length": HField( 5, 0, 8),
|
|
|
|
"operation": HField( 6, 0, 16),
|
|
|
|
"source_mac_address": HField( 8, 0, 48),
|
|
|
|
"source_ip_address": HField(14, 0, 32),
|
|
|
|
"destination_mac_address": HField(18, 0, 48),
|
|
|
|
"destination_ip_address": HField(24, 0, 32)
|
|
|
|
}
|
|
|
|
|
2015-02-04 13:03:49 -05:00
|
|
|
ipv4_header_len = 20
|
2015-01-28 16:43:58 -05:00
|
|
|
ipv4_header = {
|
|
|
|
"version": HField(0, 0, 4),
|
|
|
|
"ihl": HField(0, 4, 4),
|
|
|
|
"dscp": HField(1, 0, 6),
|
|
|
|
"ecn": HField(1, 6, 2),
|
|
|
|
"total_length": HField(2, 0, 16),
|
|
|
|
"identification": HField(4, 0, 16),
|
|
|
|
"flags": HField(6, 0, 3),
|
|
|
|
"fragment_offset": HField(6, 3, 13),
|
|
|
|
"time_to_live": HField(8, 0, 8),
|
|
|
|
"protocol": HField(9, 0, 8),
|
|
|
|
"header_checksum": HField(10, 0, 16),
|
|
|
|
"source_ip_address": HField(12, 0, 32),
|
2015-02-04 13:03:49 -05:00
|
|
|
"destination_ip_address": HField(16, 0, 32)
|
2015-01-28 16:43:58 -05:00
|
|
|
}
|
2015-02-04 10:31:37 -05:00
|
|
|
|
2015-01-28 16:43:58 -05:00
|
|
|
udp_header_len = 8
|
|
|
|
udp_header = {
|
|
|
|
"source_port": HField( 0, 0, 16),
|
|
|
|
"destination_port": HField( 2, 0, 16),
|
|
|
|
"length": HField( 4, 0, 16),
|
|
|
|
"checksum": HField( 6, 0, 16)
|
|
|
|
}
|
|
|
|
|
2015-02-04 14:30:17 -05:00
|
|
|
udp_protocol = 0x11
|
|
|
|
|
2015-01-30 04:48:56 -05:00
|
|
|
def reverse_bytes(v):
|
2015-01-30 10:27:56 -05:00
|
|
|
n = math.ceil(flen(v)/8)
|
2015-01-30 04:48:56 -05:00
|
|
|
r = []
|
|
|
|
for i in reversed(range(n)):
|
|
|
|
r.append(v[i*8:min((i+1)*8, flen(v))])
|
|
|
|
return Cat(iter(r))
|
|
|
|
|
2015-01-28 16:43:58 -05:00
|
|
|
# layouts
|
|
|
|
def _layout_from_header(header):
|
|
|
|
_layout = []
|
|
|
|
for k, v in sorted(header.items()):
|
|
|
|
_layout.append((k, v.width))
|
|
|
|
return _layout
|
|
|
|
|
2015-01-28 05:45:19 -05:00
|
|
|
def eth_phy_description(dw):
|
|
|
|
layout = [
|
|
|
|
("data", dw),
|
2015-01-28 16:43:58 -05:00
|
|
|
("last_be", dw//8),
|
2015-01-28 05:45:19 -05:00
|
|
|
("error", dw//8)
|
|
|
|
]
|
|
|
|
return EndpointDescription(layout, packetized=True)
|
|
|
|
|
|
|
|
def eth_mac_description(dw):
|
2015-01-28 16:43:58 -05:00
|
|
|
layout = _layout_from_header(mac_header) + [
|
|
|
|
("data", dw),
|
|
|
|
("last_be", dw//8),
|
|
|
|
("error", dw//8)
|
|
|
|
]
|
|
|
|
return EndpointDescription(layout, packetized=True)
|
|
|
|
|
|
|
|
def eth_arp_description(dw):
|
|
|
|
layout = _layout_from_header(arp_header) + [
|
2015-01-28 05:45:19 -05:00
|
|
|
("data", dw),
|
2015-01-27 18:33:26 -05:00
|
|
|
("error", dw//8)
|
|
|
|
]
|
|
|
|
return EndpointDescription(layout, packetized=True)
|
2015-01-28 16:43:58 -05:00
|
|
|
|
2015-01-30 07:23:06 -05:00
|
|
|
arp_table_request_layout = [
|
|
|
|
("ip_address", 32)
|
|
|
|
]
|
|
|
|
|
|
|
|
arp_table_response_layout = [
|
|
|
|
("failed", 1),
|
|
|
|
("mac_address", 48)
|
|
|
|
]
|
|
|
|
|
2015-01-28 16:43:58 -05:00
|
|
|
def eth_ipv4_description(dw):
|
|
|
|
layout = _layout_from_header(ipv4_header) + [
|
|
|
|
("data", dw),
|
|
|
|
("error", dw//8)
|
|
|
|
]
|
|
|
|
return EndpointDescription(layout, packetized=True)
|
|
|
|
|
2015-01-30 13:14:05 -05:00
|
|
|
def eth_ipv4_user_description(dw):
|
|
|
|
layout = [
|
2015-02-04 10:31:37 -05:00
|
|
|
("length", 16),
|
2015-01-30 13:14:05 -05:00
|
|
|
("protocol", 8),
|
2015-02-04 10:31:37 -05:00
|
|
|
("ip_address", 32),
|
2015-01-30 13:14:05 -05:00
|
|
|
("data", dw),
|
|
|
|
("error", dw//8)
|
|
|
|
]
|
|
|
|
return EndpointDescription(layout, packetized=True)
|
|
|
|
|
2015-01-28 16:43:58 -05:00
|
|
|
def eth_udp_description(dw):
|
|
|
|
layout = _layout_from_header(udp_header) + [
|
|
|
|
("data", dw),
|
|
|
|
("error", dw//8)
|
|
|
|
]
|
|
|
|
return EndpointDescription(layout, packetized=True)
|
|
|
|
|
2015-02-04 14:50:49 -05:00
|
|
|
def eth_udp_user_description(dw):
|
|
|
|
layout = [
|
|
|
|
("source_port", 16),
|
|
|
|
("destination_port", 16),
|
|
|
|
("ip_address", 32),
|
|
|
|
("length", 16),
|
|
|
|
("data", dw),
|
|
|
|
("error", dw//8)
|
|
|
|
]
|
|
|
|
return EndpointDescription(layout, packetized=True)
|
|
|
|
|
2015-01-28 18:02:50 -05:00
|
|
|
# Generic modules
|
2015-01-30 06:02:01 -05:00
|
|
|
@DecorateModule(InsertReset)
|
|
|
|
@DecorateModule(InsertCE)
|
|
|
|
class FlipFlop(Module):
|
2015-01-30 11:44:44 -05:00
|
|
|
def __init__(self, *args, **kwargs):
|
|
|
|
self.d = Signal(*args, **kwargs)
|
|
|
|
self.q = Signal(*args, **kwargs)
|
2015-01-30 06:02:01 -05:00
|
|
|
self.sync += self.q.eq(self.d)
|
|
|
|
|
2015-01-28 18:02:50 -05:00
|
|
|
@DecorateModule(InsertReset)
|
|
|
|
@DecorateModule(InsertCE)
|
|
|
|
class Counter(Module):
|
|
|
|
def __init__(self, signal=None, **kwargs):
|
|
|
|
if signal is None:
|
|
|
|
self.value = Signal(**kwargs)
|
|
|
|
else:
|
|
|
|
self.value = signal
|
|
|
|
self.width = flen(self.value)
|
|
|
|
self.sync += self.value.eq(self.value+1)
|
|
|
|
|
|
|
|
@DecorateModule(InsertReset)
|
|
|
|
@DecorateModule(InsertCE)
|
|
|
|
class Timeout(Module):
|
|
|
|
def __init__(self, length):
|
|
|
|
self.reached = Signal()
|
|
|
|
###
|
|
|
|
value = Signal(max=length)
|
2015-01-30 06:02:01 -05:00
|
|
|
self.sync += If(~self.reached, value.eq(value+1))
|
|
|
|
self.comb += self.reached.eq(value == (length-1))
|
2015-01-28 18:02:50 -05:00
|
|
|
|
|
|
|
class BufferizeEndpoints(ModuleDecorator):
|
|
|
|
def __init__(self, submodule, *args):
|
|
|
|
ModuleDecorator.__init__(self, submodule)
|
|
|
|
|
|
|
|
endpoints = get_endpoints(submodule)
|
|
|
|
sinks = {}
|
|
|
|
sources = {}
|
|
|
|
for name, endpoint in endpoints.items():
|
|
|
|
if name in args or len(args) == 0:
|
|
|
|
if isinstance(endpoint, Sink):
|
|
|
|
sinks.update({name : endpoint})
|
|
|
|
elif isinstance(endpoint, Source):
|
|
|
|
sources.update({name : endpoint})
|
|
|
|
|
|
|
|
# add buffer on sinks
|
|
|
|
for name, sink in sinks.items():
|
|
|
|
buf = Buffer(sink.description)
|
|
|
|
self.submodules += buf
|
|
|
|
setattr(self, name, buf.d)
|
|
|
|
self.comb += Record.connect(buf.q, sink)
|
|
|
|
|
|
|
|
# add buffer on sources
|
|
|
|
for name, source in sources.items():
|
|
|
|
buf = Buffer(source.description)
|
|
|
|
self.submodules += buf
|
|
|
|
self.comb += Record.connect(source, buf.d)
|
|
|
|
setattr(self, name, buf.q)
|
2015-01-28 18:25:55 -05:00
|
|
|
|