Logictools Pattern Generator/Trace Analyzer example - Pin confusion

Hey there,

I’m using PYNQ-Z2, currently trying to understand the logictools Pattern Generator and Trace Analyzer example. In the example code and descriptions, the arduino output pins are referred to as D0, D1, D2, D19, D18, and D17. On the board, the referenced pins are labeled AR0, AR1, AR2, A3, A4, and A5. When I connect wires as indicated in the example and run the code, analysis waveforms are flat. When I change the pin numbers to the ZYNQ PIN from the Z2 user guide, I get errors. Can anyone clarify what’s happening here? Thank you!

from pynq.lib.logictools import Waveform

up_counter = {'signal': [
    ['stimulus',
        {'name': 'bit0', 'pin': 'D0', 'wave': 'lh' * 8},
        {'name': 'bit1', 'pin': 'D1', 'wave': 'l.h.' * 4},
        {'name': 'bit2', 'pin': 'D2', 'wave': 'l...h...' * 2}], 
      
    ['analysis',
        {'name': 'bit2_loopback', 'pin': 'D17'},
        {'name': 'bit1_loopback', 'pin': 'D18'},
        {'name': 'bit0_loopback', 'pin': 'D19'}]], 

    'foot': {'tock': 1},
    'head': {'text': 'up_counter'}}

waveform = Waveform(up_counter)
waveform.display()