mirror of
https://github.com/corundum/corundum.git
synced 2025-01-16 08:12:53 +08:00
542 lines
16 KiB
Python
Executable File
542 lines
16 KiB
Python
Executable File
#!/usr/bin/env python
|
|
"""
|
|
|
|
Copyright (c) 2014-2018 Alex Forencich
|
|
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
of this software and associated documentation files (the "Software"), to deal
|
|
in the Software without restriction, including without limitation the rights
|
|
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
copies of the Software, and to permit persons to whom the Software is
|
|
furnished to do so, subject to the following conditions:
|
|
|
|
The above copyright notice and this permission notice shall be included in
|
|
all copies or substantial portions of the Software.
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY
|
|
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
THE SOFTWARE.
|
|
|
|
"""
|
|
|
|
from myhdl import *
|
|
import os
|
|
|
|
import arp_ep
|
|
import eth_ep
|
|
|
|
module = 'arp_eth_rx'
|
|
testbench = 'test_%s' % module
|
|
|
|
srcs = []
|
|
|
|
srcs.append("../rtl/%s.v" % module)
|
|
srcs.append("%s.v" % testbench)
|
|
|
|
src = ' '.join(srcs)
|
|
|
|
build_cmd = "iverilog -o %s.vvp %s" % (testbench, src)
|
|
|
|
def bench():
|
|
|
|
# Parameters
|
|
DATA_WIDTH = 8
|
|
KEEP_ENABLE = (DATA_WIDTH>8)
|
|
KEEP_WIDTH = (DATA_WIDTH/8)
|
|
|
|
# Inputs
|
|
clk = Signal(bool(0))
|
|
rst = Signal(bool(0))
|
|
current_test = Signal(intbv(0)[8:])
|
|
|
|
s_eth_hdr_valid = Signal(bool(0))
|
|
s_eth_dest_mac = Signal(intbv(0)[48:])
|
|
s_eth_src_mac = Signal(intbv(0)[48:])
|
|
s_eth_type = Signal(intbv(0)[16:])
|
|
s_eth_payload_axis_tdata = Signal(intbv(0)[DATA_WIDTH:])
|
|
s_eth_payload_axis_tkeep = Signal(intbv(1)[KEEP_WIDTH:])
|
|
s_eth_payload_axis_tvalid = Signal(bool(0))
|
|
s_eth_payload_axis_tlast = Signal(bool(0))
|
|
s_eth_payload_axis_tuser = Signal(bool(0))
|
|
m_frame_ready = Signal(bool(0))
|
|
|
|
# Outputs
|
|
s_eth_hdr_ready = Signal(bool(0))
|
|
s_eth_payload_axis_tready = Signal(bool(0))
|
|
m_frame_valid = Signal(bool(0))
|
|
m_eth_dest_mac = Signal(intbv(0)[48:])
|
|
m_eth_src_mac = Signal(intbv(0)[48:])
|
|
m_eth_type = Signal(intbv(0)[16:])
|
|
m_arp_htype = Signal(intbv(0)[16:])
|
|
m_arp_ptype = Signal(intbv(0)[16:])
|
|
m_arp_hlen = Signal(intbv(0)[8:])
|
|
m_arp_plen = Signal(intbv(0)[8:])
|
|
m_arp_oper = Signal(intbv(0)[16:])
|
|
m_arp_sha = Signal(intbv(0)[48:])
|
|
m_arp_spa = Signal(intbv(0)[32:])
|
|
m_arp_tha = Signal(intbv(0)[48:])
|
|
m_arp_tpa = Signal(intbv(0)[32:])
|
|
busy = Signal(bool(0))
|
|
error_header_early_termination = Signal(bool(0))
|
|
error_invalid_header = Signal(bool(0))
|
|
|
|
# sources and sinks
|
|
source_pause = Signal(bool(0))
|
|
sink_pause = Signal(bool(0))
|
|
|
|
source = eth_ep.EthFrameSource()
|
|
|
|
source_logic = source.create_logic(
|
|
clk,
|
|
rst,
|
|
eth_hdr_ready=s_eth_hdr_ready,
|
|
eth_hdr_valid=s_eth_hdr_valid,
|
|
eth_dest_mac=s_eth_dest_mac,
|
|
eth_src_mac=s_eth_src_mac,
|
|
eth_type=s_eth_type,
|
|
eth_payload_tdata=s_eth_payload_axis_tdata,
|
|
eth_payload_tkeep=s_eth_payload_axis_tkeep,
|
|
eth_payload_tvalid=s_eth_payload_axis_tvalid,
|
|
eth_payload_tready=s_eth_payload_axis_tready,
|
|
eth_payload_tlast=s_eth_payload_axis_tlast,
|
|
eth_payload_tuser=s_eth_payload_axis_tuser,
|
|
pause=source_pause,
|
|
name='source'
|
|
)
|
|
|
|
sink = arp_ep.ARPFrameSink()
|
|
|
|
sink_logic = sink.create_logic(
|
|
clk,
|
|
rst,
|
|
frame_ready=m_frame_ready,
|
|
frame_valid=m_frame_valid,
|
|
eth_dest_mac=m_eth_dest_mac,
|
|
eth_src_mac=m_eth_src_mac,
|
|
eth_type=m_eth_type,
|
|
arp_htype=m_arp_htype,
|
|
arp_ptype=m_arp_ptype,
|
|
arp_hlen=m_arp_hlen,
|
|
arp_plen=m_arp_plen,
|
|
arp_oper=m_arp_oper,
|
|
arp_sha=m_arp_sha,
|
|
arp_spa=m_arp_spa,
|
|
arp_tha=m_arp_tha,
|
|
arp_tpa=m_arp_tpa,
|
|
pause=sink_pause,
|
|
name='sink'
|
|
)
|
|
|
|
# DUT
|
|
if os.system(build_cmd):
|
|
raise Exception("Error running build command")
|
|
|
|
dut = Cosimulation(
|
|
"vvp -m myhdl %s.vvp -lxt2" % testbench,
|
|
clk=clk,
|
|
rst=rst,
|
|
current_test=current_test,
|
|
|
|
s_eth_hdr_valid=s_eth_hdr_valid,
|
|
s_eth_hdr_ready=s_eth_hdr_ready,
|
|
s_eth_dest_mac=s_eth_dest_mac,
|
|
s_eth_src_mac=s_eth_src_mac,
|
|
s_eth_type=s_eth_type,
|
|
s_eth_payload_axis_tdata=s_eth_payload_axis_tdata,
|
|
s_eth_payload_axis_tkeep=s_eth_payload_axis_tkeep,
|
|
s_eth_payload_axis_tvalid=s_eth_payload_axis_tvalid,
|
|
s_eth_payload_axis_tready=s_eth_payload_axis_tready,
|
|
s_eth_payload_axis_tlast=s_eth_payload_axis_tlast,
|
|
s_eth_payload_axis_tuser=s_eth_payload_axis_tuser,
|
|
|
|
m_frame_valid=m_frame_valid,
|
|
m_frame_ready=m_frame_ready,
|
|
m_eth_dest_mac=m_eth_dest_mac,
|
|
m_eth_src_mac=m_eth_src_mac,
|
|
m_eth_type=m_eth_type,
|
|
m_arp_htype=m_arp_htype,
|
|
m_arp_ptype=m_arp_ptype,
|
|
m_arp_hlen=m_arp_hlen,
|
|
m_arp_plen=m_arp_plen,
|
|
m_arp_oper=m_arp_oper,
|
|
m_arp_sha=m_arp_sha,
|
|
m_arp_spa=m_arp_spa,
|
|
m_arp_tha=m_arp_tha,
|
|
m_arp_tpa=m_arp_tpa,
|
|
|
|
busy=busy,
|
|
error_header_early_termination=error_header_early_termination,
|
|
error_invalid_header=error_invalid_header
|
|
)
|
|
|
|
@always(delay(4))
|
|
def clkgen():
|
|
clk.next = not clk
|
|
|
|
@instance
|
|
def check():
|
|
yield delay(100)
|
|
yield clk.posedge
|
|
rst.next = 1
|
|
yield clk.posedge
|
|
rst.next = 0
|
|
yield clk.posedge
|
|
yield delay(100)
|
|
yield clk.posedge
|
|
|
|
yield clk.posedge
|
|
|
|
yield clk.posedge
|
|
print("test 1: test packet")
|
|
current_test.next = 1
|
|
|
|
test_frame = arp_ep.ARPFrame()
|
|
test_frame.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame.eth_src_mac = 0x5A5152535455
|
|
test_frame.eth_type = 0x0806
|
|
test_frame.arp_htype = 0x0001
|
|
test_frame.arp_ptype = 0x0800
|
|
test_frame.arp_hlen = 6
|
|
test_frame.arp_plen = 4
|
|
test_frame.arp_oper = 1
|
|
test_frame.arp_sha = 0x5A5152535455
|
|
test_frame.arp_spa = 0xc0a80164
|
|
test_frame.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame.arp_tpa = 0xc0a80165
|
|
source.send(test_frame.build_eth())
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 2: packet with trailing bytes")
|
|
current_test.next = 2
|
|
|
|
test_frame = arp_ep.ARPFrame()
|
|
test_frame.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame.eth_src_mac = 0x5A5152535455
|
|
test_frame.eth_type = 0x0806
|
|
test_frame.arp_htype = 0x0001
|
|
test_frame.arp_ptype = 0x0800
|
|
test_frame.arp_hlen = 6
|
|
test_frame.arp_plen = 4
|
|
test_frame.arp_oper = 1
|
|
test_frame.arp_sha = 0x5A5152535455
|
|
test_frame.arp_spa = 0xc0a80164
|
|
test_frame.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame.arp_tpa = 0xc0a80165
|
|
eth_frame = test_frame.build_eth()
|
|
eth_frame.payload.data += bytearray(range(10))
|
|
source.send(eth_frame)
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 3: test packet with pauses")
|
|
current_test.next = 3
|
|
|
|
test_frame = arp_ep.ARPFrame()
|
|
test_frame.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame.eth_src_mac = 0x5A5152535455
|
|
test_frame.eth_type = 0x0806
|
|
test_frame.arp_htype = 0x0001
|
|
test_frame.arp_ptype = 0x0800
|
|
test_frame.arp_hlen = 6
|
|
test_frame.arp_plen = 4
|
|
test_frame.arp_oper = 1
|
|
test_frame.arp_sha = 0x5A5152535455
|
|
test_frame.arp_spa = 0xc0a80164
|
|
test_frame.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame.arp_tpa = 0xc0a80165
|
|
source.send(test_frame.build_eth())
|
|
yield clk.posedge
|
|
|
|
yield delay(64)
|
|
yield clk.posedge
|
|
source_pause.next = True
|
|
yield delay(32)
|
|
yield clk.posedge
|
|
source_pause.next = False
|
|
|
|
yield delay(64)
|
|
yield clk.posedge
|
|
sink_pause.next = True
|
|
yield delay(32)
|
|
yield clk.posedge
|
|
sink_pause.next = False
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 4: back-to-back packets")
|
|
current_test.next = 4
|
|
|
|
test_frame1 = arp_ep.ARPFrame()
|
|
test_frame1.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame1.eth_src_mac = 0x5A5152535455
|
|
test_frame1.eth_type = 0x0806
|
|
test_frame1.arp_htype = 0x0001
|
|
test_frame1.arp_ptype = 0x0800
|
|
test_frame1.arp_hlen = 6
|
|
test_frame1.arp_plen = 4
|
|
test_frame1.arp_oper = 1
|
|
test_frame1.arp_sha = 0x5A5152535455
|
|
test_frame1.arp_spa = 0xc0a80164
|
|
test_frame1.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame1.arp_tpa = 0xc0a80165
|
|
test_frame2 = arp_ep.ARPFrame()
|
|
test_frame2.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame2.eth_src_mac = 0x5A5152535455
|
|
test_frame2.eth_type = 0x0806
|
|
test_frame2.arp_htype = 0x0001
|
|
test_frame2.arp_ptype = 0x0800
|
|
test_frame2.arp_hlen = 6
|
|
test_frame2.arp_plen = 4
|
|
test_frame2.arp_oper = 1
|
|
test_frame2.arp_sha = 0x5A5152535455
|
|
test_frame2.arp_spa = 0xc0a80164
|
|
test_frame2.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame2.arp_tpa = 0xc0a80165
|
|
source.send(test_frame1.build_eth())
|
|
source.send(test_frame2.build_eth())
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame1
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame2
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 5: alternate pause source")
|
|
current_test.next = 5
|
|
|
|
test_frame1 = arp_ep.ARPFrame()
|
|
test_frame1.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame1.eth_src_mac = 0x5A5152535455
|
|
test_frame1.eth_type = 0x0806
|
|
test_frame1.arp_htype = 0x0001
|
|
test_frame1.arp_ptype = 0x0800
|
|
test_frame1.arp_hlen = 6
|
|
test_frame1.arp_plen = 4
|
|
test_frame1.arp_oper = 1
|
|
test_frame1.arp_sha = 0x5A5152535455
|
|
test_frame1.arp_spa = 0xc0a80164
|
|
test_frame1.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame1.arp_tpa = 0xc0a80165
|
|
test_frame2 = arp_ep.ARPFrame()
|
|
test_frame2.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame2.eth_src_mac = 0x5A5152535455
|
|
test_frame2.eth_type = 0x0806
|
|
test_frame2.arp_htype = 0x0001
|
|
test_frame2.arp_ptype = 0x0800
|
|
test_frame2.arp_hlen = 6
|
|
test_frame2.arp_plen = 4
|
|
test_frame2.arp_oper = 1
|
|
test_frame2.arp_sha = 0x5A5152535455
|
|
test_frame2.arp_spa = 0xc0a80164
|
|
test_frame2.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame2.arp_tpa = 0xc0a80165
|
|
source.send(test_frame1.build_eth())
|
|
source.send(test_frame2.build_eth())
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
|
|
while s_eth_payload_axis_tvalid:
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
source_pause.next = False
|
|
yield clk.posedge
|
|
source_pause.next = True
|
|
yield clk.posedge
|
|
|
|
source_pause.next = False
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame1
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame2
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 6: alternate pause sink")
|
|
current_test.next = 6
|
|
|
|
test_frame1 = arp_ep.ARPFrame()
|
|
test_frame1.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame1.eth_src_mac = 0x5A5152535455
|
|
test_frame1.eth_type = 0x0806
|
|
test_frame1.arp_htype = 0x0001
|
|
test_frame1.arp_ptype = 0x0800
|
|
test_frame1.arp_hlen = 6
|
|
test_frame1.arp_plen = 4
|
|
test_frame1.arp_oper = 1
|
|
test_frame1.arp_sha = 0x5A5152535455
|
|
test_frame1.arp_spa = 0xc0a80164
|
|
test_frame1.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame1.arp_tpa = 0xc0a80165
|
|
test_frame2 = arp_ep.ARPFrame()
|
|
test_frame2.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame2.eth_src_mac = 0x5A5152535455
|
|
test_frame2.eth_type = 0x0806
|
|
test_frame2.arp_htype = 0x0001
|
|
test_frame2.arp_ptype = 0x0800
|
|
test_frame2.arp_hlen = 6
|
|
test_frame2.arp_plen = 4
|
|
test_frame2.arp_oper = 1
|
|
test_frame2.arp_sha = 0x5A5152535455
|
|
test_frame2.arp_spa = 0xc0a80164
|
|
test_frame2.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame2.arp_tpa = 0xc0a80165
|
|
source.send(test_frame1.build_eth())
|
|
source.send(test_frame2.build_eth())
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
|
|
while s_eth_payload_axis_tvalid:
|
|
sink_pause.next = True
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
sink_pause.next = False
|
|
yield clk.posedge
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame1
|
|
|
|
yield sink.wait()
|
|
rx_frame = sink.recv()
|
|
|
|
assert rx_frame == test_frame2
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 7: truncated packet")
|
|
current_test.next = 7
|
|
|
|
test_frame = arp_ep.ARPFrame()
|
|
test_frame.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame.eth_src_mac = 0x5A5152535455
|
|
test_frame.eth_type = 0x0806
|
|
test_frame.arp_htype = 0x0001
|
|
test_frame.arp_ptype = 0x0800
|
|
test_frame.arp_hlen = 6
|
|
test_frame.arp_plen = 4
|
|
test_frame.arp_oper = 1
|
|
test_frame.arp_sha = 0x5A5152535455
|
|
test_frame.arp_spa = 0xc0a80164
|
|
test_frame.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame.arp_tpa = 0xc0a80165
|
|
eth_frame = test_frame.build_eth()
|
|
eth_frame.payload.data = eth_frame.payload.data[:-2]
|
|
source.send(eth_frame)
|
|
yield clk.posedge
|
|
|
|
yield s_eth_payload_axis_tlast.posedge
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
assert error_header_early_termination
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 8: bad header")
|
|
current_test.next = 8
|
|
|
|
test_frame = arp_ep.ARPFrame()
|
|
test_frame.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame.eth_src_mac = 0x5A5152535455
|
|
test_frame.eth_type = 0x0806
|
|
test_frame.arp_htype = 0x0001
|
|
test_frame.arp_ptype = 0x0800
|
|
test_frame.arp_hlen = 0
|
|
test_frame.arp_plen = 0
|
|
test_frame.arp_oper = 1
|
|
test_frame.arp_sha = 0x5A5152535455
|
|
test_frame.arp_spa = 0xc0a80164
|
|
test_frame.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame.arp_tpa = 0xc0a80165
|
|
source.send(test_frame.build_eth())
|
|
yield clk.posedge
|
|
|
|
yield s_eth_payload_axis_tlast.posedge
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
assert error_invalid_header
|
|
|
|
yield delay(100)
|
|
|
|
yield clk.posedge
|
|
print("test 9: assert tuser")
|
|
current_test.next = 9
|
|
|
|
test_frame = arp_ep.ARPFrame()
|
|
test_frame.eth_dest_mac = 0xFFFFFFFFFFFF
|
|
test_frame.eth_src_mac = 0x5A5152535455
|
|
test_frame.eth_type = 0x0806
|
|
test_frame.arp_htype = 0x0001
|
|
test_frame.arp_ptype = 0x0800
|
|
test_frame.arp_hlen = 6
|
|
test_frame.arp_plen = 4
|
|
test_frame.arp_oper = 1
|
|
test_frame.arp_sha = 0x5A5152535455
|
|
test_frame.arp_spa = 0xc0a80164
|
|
test_frame.arp_tha = 0xDAD1D2D3D4D5
|
|
test_frame.arp_tpa = 0xc0a80165
|
|
eth_frame = test_frame.build_eth()
|
|
eth_frame.payload.user = 1
|
|
source.send(eth_frame)
|
|
yield clk.posedge
|
|
|
|
yield s_eth_payload_axis_tlast.posedge
|
|
yield clk.posedge
|
|
yield clk.posedge
|
|
assert sink.empty()
|
|
|
|
yield delay(100)
|
|
|
|
raise StopSimulation
|
|
|
|
return instances()
|
|
|
|
def test_bench():
|
|
sim = Simulation(bench())
|
|
sim.run()
|
|
|
|
if __name__ == '__main__':
|
|
print("Running test...")
|
|
test_bench()
|
|
|