1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
""" Script to do Arch API sanity checking.
This python script can be used to do some sanity checking of either wire to
wire connectivity or bel pin wire connectivity.
Wire to wire connectivity is tested by supplying a source and destination wire
and verifing that a pip exists that connects those wires.
Bel pin wire connectivity is tested by supplying a bel and pin name and the
connected wire.
Invoke in a working directory that contains a file name "test_data.yaml":
${NEXTPNR} --run ${NEXTPNR_SRC}/check_arch_api.py
"test_data.yaml" should contain the test vectors for the wire to wire or bel
pin connectivity tests. Example test_data.yaml:
pip_test:
- src_wire: CLBLM_R_X11Y93/CLBLM_L_D3
dst_wire: SLICE_X15Y93.SLICEL/D3
pip_chain_test:
- wires:
- $CONSTANTS_X0Y0.$CONSTANTS/$GND_SOURCE
- $CONSTANTS_X0Y0/$GND_NODE
- TIEOFF_X3Y145.TIEOFF/$GND_SITE_WIRE
bel_pin_test:
- bel: SLICE_X15Y93.SLICEL/D6LUT
pin: A3
wire: SLICE_X15Y93.SLICEL/D3
"""
import yaml
import sys
def check_arch_api(ctx):
success = True
pips_tested = 0
pips_failed = 0
def test_pip(src_wire_name, dst_wire_name):
nonlocal success
nonlocal pips_tested
nonlocal pips_failed
pip = None
for pip_name in ctx.getPipsDownhill(src_wire_name):
if ctx.getPipDstWire(pip_name) == dst_wire_name:
pip = pip_name
src_wire = ctx.getPipSrcWire(pip_name)
assert src_wire == src_wire_name, (
src_wire, src_wire_name)
if pip is None:
success = False
pips_failed += 1
print('Pip from {} to {} failed'.format(src_wire_name, dst_wire_name))
else:
pips_tested += 1
bel_pins_tested = 0
with open('test_data.yaml', 'r') as f:
test_data = yaml.safe_load(f.read())
if 'pip_test' in test_data:
for pip_test in test_data['pip_test']:
test_pip(pip_test['src_wire'], pip_test['dst_wire'])
if 'pip_chain_test' in test_data:
for chain_test in test_data['pip_chain_test']:
wires = chain_test['wires']
for src_wire, dst_wire in zip(wires, wires[1:]):
test_pip(src_wire, dst_wire)
if 'bel_pin_test' in test_data:
for bel_pin_test in test_data['bel_pin_test']:
wire_name = ctx.getBelPinWire(bel_pin_test['bel'], bel_pin_test['pin'])
assert bel_pin_test['wire'] == wire_name, (bel_pin_test['wire'], wire_name)
if 'type' in bel_pin_test:
pin_type = ctx.getBelPinType(bel_pin_test['bel'], bel_pin_test['pin'])
assert bel_pin_test['type'] == pin_type.name, (bel_pin_test['type'], pin_type)
bel_pins_tested += 1
print('Tested {} pips and {} bel pins'.format(pips_tested, bel_pins_tested))
if not success:
print('{} pips failed'.format(pips_failed))
sys.exit(-1)
check_arch_api(ctx)
|
