95 lines
3.0 KiB
Python
95 lines
3.0 KiB
Python
""" 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)
|